#include <gmlib/number/mont256.h>
#include <gmlib/number/uint256.h>

#include <stdexcept>
#include <cstring>

using namespace number;

static std::uint8_t  P_data[32]      = {0xff,0xff,0xff,0xfe,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0x00,0x00,0x00,0x00,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff};
static std::uint8_t  P_SUB2_data[32] = {0xff,0xff,0xff,0xfe,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0x00,0x00,0x00,0x00,0xff,0xff,0xff,0xff,0xff,0xff,0xff,0xfd};
static std::uint8_t  R_data[32]      = {0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0xff,0xff,0xff,0xff,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x01};
static std::uint8_t  R_POW2_data[32] = {0x00,0x00,0x00,0x04,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x01,0x00,0x00,0x00,0x02,0xff,0xff,0xff,0xff,0x00,0x00,0x00,0x02,0x00,0x00,0x00,0x03};
static std::uint8_t  N_data[32]      = {0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x00,0x01};

void test_mont256_add()
{
    uint256_t P, P_SUB2, R, R_POW2, N_;
    uint256_from_bytes(P, P_data);
    uint256_from_bytes(P_SUB2, P_SUB2_data);
    uint256_from_bytes(R, R_data);
    uint256_from_bytes(R_POW2, R_POW2_data);
    uint256_from_bytes(N_, N_data);

    Mont256CTX ctx;
    ctx.P = P, ctx.P_SUB2 = P_SUB2;
    ctx.R = R, ctx.R_POW2 = R_POW2;
    ctx.N_ = N_;

    mont256_t    augend, addend, sum;
    std::uint8_t sum_data[32];

    std::uint8_t augend0[32] = {0xd2,0x3f,0x08,0x24,0x12,0x8b,0x2f,0x33,0x0c,0x5c,0x7f,0xd0,0xa6,0xa3,0xa4,0x50,0x65,0x13,0x27,0x0e,0x26,0x9e,0x0d,0x37,0xf2,0xa7,0x4d,0xe4,0x52,0xe6,0xb4,0x38};
    std::uint8_t addend0[32] = {0x36,0xf6,0x75,0xcc,0x81,0xe7,0x4e,0xf5,0xe8,0xe2,0x5d,0x94,0x0e,0xd9,0x04,0x75,0x95,0x31,0x98,0x5d,0x5d,0x9d,0xc9,0xf8,0x18,0x18,0xe8,0x11,0x89,0x2f,0x90,0x2b};
    std::uint8_t sum0[32]    = {0x09,0x35,0x7d,0xf1,0x94,0x72,0x7e,0x28,0xf5,0x3e,0xdd,0x64,0xb5,0x7c,0xa8,0xc5,0xfa,0x44,0xbf,0x6c,0x84,0x3b,0xd7,0x2f,0x0a,0xc0,0x35,0xf5,0xdc,0x16,0x44,0x64};
    mont256_from_bytes(&ctx, augend, augend0);
    mont256_from_bytes(&ctx, addend, addend0);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum0, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend1[32] = {0x8d,0x11,0x6e,0xce,0x17,0x38,0xf7,0xd9,0x3d,0x9c,0x17,0x24,0x11,0xe2,0x0b,0x8f,0x6b,0x0d,0x54,0x9b,0x6f,0x03,0x67,0x5a,0x16,0x00,0xa3,0x5a,0x09,0x99,0x50,0xd8};
    std::uint8_t addend1[32] = {0xa1,0x70,0xb3,0x38,0x39,0x26,0x30,0x59,0xf2,0x8c,0x10,0x5d,0x1f,0xb1,0x7c,0x23,0x90,0xc1,0x92,0xcf,0xd3,0xac,0x94,0xaf,0x0f,0x21,0xdd,0xb6,0x6c,0xad,0x4a,0x26};
    std::uint8_t sum1[32]    = {0x2e,0x82,0x22,0x07,0x50,0x5f,0x28,0x33,0x30,0x28,0x27,0x81,0x31,0x93,0x87,0xb2,0xfb,0xce,0xe7,0x6c,0x42,0xaf,0xfc,0x08,0x25,0x22,0x81,0x10,0x76,0x46,0x9a,0xff};
    mont256_from_bytes(&ctx, augend, augend1);
    mont256_from_bytes(&ctx, addend, addend1);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum1, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend2[32] = {0x0c,0xb1,0xe2,0x9c,0x65,0x8c,0xda,0x14,0x95,0xe6,0x0a,0xf5,0x93,0xbd,0x04,0xcf,0x0f,0xd6,0x30,0xf1,0xf2,0x9d,0x0d,0xa9,0x95,0x3f,0x48,0xf1,0xa0,0x9f,0x76,0xb5};
    std::uint8_t addend2[32] = {0x6b,0x4c,0xb2,0x42,0x4a,0x23,0xd5,0x96,0x22,0x17,0xbe,0xad,0xdb,0xc4,0x96,0xcb,0x8e,0x81,0x97,0x3e,0x0b,0xec,0xd7,0xb0,0x38,0x98,0xd1,0x90,0xf9,0xeb,0xda,0xcc};
    std::uint8_t sum2[32]    = {0x77,0xfe,0x94,0xde,0xaf,0xb0,0xaf,0xaa,0xb7,0xfd,0xc9,0xa3,0x6f,0x81,0x9b,0x9a,0x9e,0x57,0xc8,0x2f,0xfe,0x89,0xe5,0x59,0xcd,0xd8,0x1a,0x82,0x9a,0x8b,0x51,0x81};
    mont256_from_bytes(&ctx, augend, augend2);
    mont256_from_bytes(&ctx, addend, addend2);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum2, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend3[32] = {0xae,0x97,0xba,0x94,0xd0,0xed,0xa8,0x2f,0x8f,0x6d,0x05,0x58,0x4e,0xf8,0xaa,0x38,0x92,0x27,0x66,0x58,0x1e,0x27,0xa1,0xc0,0x8a,0x6a,0x63,0xec,0x24,0xed,0xe6,0xa4};
    std::uint8_t addend3[32] = {0x18,0xf1,0x35,0xd2,0x5f,0x55,0x72,0x03,0x30,0x18,0x50,0xc5,0xa3,0x8f,0xd5,0x47,0x92,0x3a,0x73,0x69,0x94,0xe3,0xbf,0x91,0x1a,0x61,0xdb,0xe2,0x2e,0x44,0x15,0x8b};
    std::uint8_t sum3[32]    = {0xc7,0x88,0xf0,0x67,0x30,0x43,0x1a,0x32,0xbf,0x85,0x56,0x1d,0xf2,0x88,0x7f,0x80,0x24,0x61,0xd9,0xc1,0xb3,0x0b,0x61,0x51,0xa4,0xcc,0x3f,0xce,0x53,0x31,0xfc,0x2f};
    mont256_from_bytes(&ctx, augend, augend3);
    mont256_from_bytes(&ctx, addend, addend3);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum3, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend4[32] = {0x7f,0x15,0x05,0x24,0x34,0xb9,0xb5,0xdf,0x9e,0x77,0x69,0xb1,0x0f,0x42,0x05,0xb4,0x90,0x7a,0x70,0xc3,0x10,0x12,0xf0,0x37,0xb6,0x4c,0xe4,0x22,0x8c,0x38,0xfb,0x29};
    std::uint8_t addend4[32] = {0xec,0x66,0xa7,0x87,0x95,0xe7,0x61,0xd1,0x77,0x31,0xaf,0x10,0x50,0x6b,0xf2,0xef,0xc6,0xf8,0x77,0x18,0x6d,0x76,0xb0,0x7e,0x88,0x1e,0xd1,0x62,0xae,0x2e,0xb1,0x54};
    std::uint8_t sum4[32]    = {0x6b,0x7b,0xac,0xac,0xca,0xa1,0x17,0xb1,0x15,0xa9,0x18,0xc1,0x5f,0xad,0xf8,0xa4,0x57,0x72,0xe7,0xdc,0x7d,0x89,0xa0,0xb5,0x3e,0x6b,0xb5,0x85,0x3a,0x67,0xac,0x7e};
    mont256_from_bytes(&ctx, augend, augend4);
    mont256_from_bytes(&ctx, addend, addend4);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum4, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend5[32] = {0xc7,0xa2,0xea,0x20,0xb2,0xf1,0x4c,0x94,0x2e,0x05,0x31,0x9a,0xcb,0x5c,0x74,0x27,0x3f,0x98,0xe2,0x77,0x4c,0xbd,0x87,0xad,0x5c,0x90,0xa9,0x58,0x74,0x03,0xe4,0x30};
    std::uint8_t addend5[32] = {0x57,0xee,0x05,0xcd,0xe0,0x09,0x02,0xc7,0x7e,0xbf,0xf2,0x06,0x86,0x73,0x47,0x21,0x4c,0xdd,0x20,0x55,0x93,0x0d,0x6e,0xaf,0x14,0xf4,0x73,0x3f,0x3e,0x7d,0x1b,0xfb};
    std::uint8_t sum5[32]    = {0x1f,0x90,0xef,0xef,0x92,0xfa,0x4f,0x5b,0xac,0xc5,0x23,0xa1,0x51,0xcf,0xbb,0x48,0x8c,0x76,0x02,0xcd,0xdf,0xca,0xf6,0x5b,0x71,0x85,0x1c,0x97,0xb2,0x81,0x00,0x2c};
    mont256_from_bytes(&ctx, augend, augend5);
    mont256_from_bytes(&ctx, addend, addend5);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum5, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend6[32] = {0x83,0x0e,0x07,0xbc,0x1e,0x39,0x8f,0x10,0x12,0xbd,0x4a,0xce,0xfa,0xec,0xbd,0x38,0x9b,0xe4,0xbc,0xfc,0x49,0xb6,0x4a,0x08,0x72,0xe6,0xcc,0x3a,0xba,0xbc,0xed,0x20};
    std::uint8_t addend6[32] = {0x6b,0xf4,0x6c,0x69,0x7d,0x2c,0xaf,0x82,0xee,0xea,0xcb,0xe2,0x26,0xe8,0x75,0x55,0x57,0x90,0xf8,0x2e,0xc1,0xd3,0xfc,0xff,0x2a,0x3a,0xf4,0xd4,0x6b,0x0a,0x18,0xe8};
    std::uint8_t sum6[32]    = {0xef,0x02,0x74,0x25,0x9b,0x66,0x3e,0x93,0x01,0xa8,0x16,0xb1,0x21,0xd5,0x32,0x8d,0xf3,0x75,0xb5,0x2b,0x0b,0x8a,0x47,0x07,0x9d,0x21,0xc1,0x0f,0x25,0xc7,0x06,0x08};
    mont256_from_bytes(&ctx, augend, augend6);
    mont256_from_bytes(&ctx, addend, addend6);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum6, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend7[32] = {0xca,0x02,0x13,0x5e,0x92,0xb1,0xd3,0xf2,0x8e,0xde,0x0d,0x7a,0xc3,0xba,0xea,0x9e,0x13,0xde,0xef,0x86,0xab,0x10,0x31,0xd0,0xf6,0x46,0xe1,0xf4,0x0a,0x09,0x7c,0x97};
    std::uint8_t addend7[32] = {0x7f,0x26,0x14,0x4b,0x98,0x28,0x9f,0xcd,0x59,0xa5,0x4a,0x7b,0xb1,0xfe,0xe0,0x8f,0x57,0x12,0x42,0x42,0x50,0x51,0xc1,0xcc,0xd1,0x7f,0x9a,0xca,0xe0,0x1f,0x50,0x57};
    std::uint8_t sum7[32]    = {0x49,0x28,0x27,0xab,0x2a,0xda,0x73,0xbf,0xe8,0x83,0x57,0xf6,0x75,0xb9,0xcb,0x2d,0x6a,0xf1,0x31,0xc9,0xfb,0x61,0xf3,0x9c,0xc7,0xc6,0x7c,0xbe,0xea,0x28,0xcc,0xef};
    mont256_from_bytes(&ctx, augend, augend7);
    mont256_from_bytes(&ctx, addend, addend7);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum7, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend8[32] = {0x45,0x1a,0xbd,0x81,0xf1,0xd6,0x9e,0xd6,0x17,0xf5,0xe8,0x37,0xd7,0x08,0x20,0xfe,0x11,0x9a,0x72,0xd1,0x74,0xc9,0xdf,0x6a,0xcc,0x01,0x1c,0xdd,0x94,0x74,0x03,0x1b};
    std::uint8_t addend8[32] = {0x4f,0x42,0x6d,0xcb,0xb3,0x94,0xfb,0x36,0xbb,0x2d,0x42,0x0f,0x0f,0x88,0x08,0x0b,0x10,0xa3,0xd6,0xb2,0xaa,0x05,0xe1,0x1a,0xb2,0x71,0x59,0x45,0x79,0x5e,0x82,0x29};
    std::uint8_t sum8[32]    = {0x94,0x5d,0x2b,0x4d,0xa5,0x6b,0x9a,0x0c,0xd3,0x23,0x2a,0x46,0xe6,0x90,0x29,0x09,0x22,0x3e,0x49,0x84,0x1e,0xcf,0xc0,0x85,0x7e,0x72,0x76,0x23,0x0d,0xd2,0x85,0x44};
    mont256_from_bytes(&ctx, augend, augend8);
    mont256_from_bytes(&ctx, addend, addend8);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum8, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend9[32] = {0xb7,0x74,0xeb,0x52,0x48,0xdb,0x40,0xaf,0x72,0x15,0x83,0x70,0xd2,0x69,0xa9,0xa5,0xae,0x65,0x8f,0x33,0xfe,0x3b,0x89,0x0b,0x93,0xf4,0x48,0xb3,0xa5,0xaa,0x3c,0x81};
    std::uint8_t addend9[32] = {0x5a,0xff,0xb2,0x29,0x76,0x31,0xa9,0x92,0xf0,0xce,0x58,0x35,0x05,0xc6,0xaf,0x07,0x58,0xd5,0x56,0x3d,0xab,0x2c,0xd3,0x1e,0xe3,0x15,0x12,0x88,0x62,0xc3,0x3a,0x4f};
    std::uint8_t sum9[32]    = {0x12,0x74,0x9d,0x7c,0xbf,0x0c,0xea,0x42,0x62,0xe3,0xdb,0xa5,0xd8,0x30,0x58,0xad,0x07,0x3a,0xe5,0x72,0xa9,0x68,0x5c,0x29,0x77,0x09,0x5b,0x3c,0x08,0x6d,0x76,0xd1};
    mont256_from_bytes(&ctx, augend, augend9);
    mont256_from_bytes(&ctx, addend, addend9);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum9, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend10[32] = {0x49,0x95,0x23,0x99,0xc4,0xaa,0xea,0xc1,0x37,0xdc,0x76,0xfb,0x0f,0x17,0xa3,0x00,0x7e,0x62,0xaa,0x0a,0x1d,0xf9,0xfd,0x78,0x9c,0x65,0x39,0x38,0x2b,0x05,0x37,0xe6};
    std::uint8_t addend10[32] = {0x7f,0x1b,0x10,0x3c,0xdf,0x15,0x82,0xb0,0xea,0xb4,0x77,0xd2,0x64,0x15,0x47,0x9c,0x65,0xdc,0x9f,0x50,0x3f,0x63,0xaf,0x83,0xbd,0x05,0x61,0xe6,0x21,0x1c,0x70,0xcf};
    std::uint8_t sum10[32]    = {0xc8,0xb0,0x33,0xd6,0xa3,0xc0,0x6d,0x72,0x22,0x90,0xee,0xcd,0x73,0x2c,0xea,0x9c,0xe4,0x3f,0x49,0x5a,0x5d,0x5d,0xac,0xfc,0x59,0x6a,0x9b,0x1e,0x4c,0x21,0xa8,0xb5};
    mont256_from_bytes(&ctx, augend, augend10);
    mont256_from_bytes(&ctx, addend, addend10);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum10, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend11[32] = {0x23,0x0d,0x97,0x7e,0xe2,0x25,0x71,0x59,0x47,0x20,0x77,0x1f,0x8c,0xa8,0x18,0x11,0x66,0xd2,0x28,0x76,0x72,0xfd,0xf2,0x02,0x2a,0x96,0xfb,0x1a,0x14,0xa0,0xf9,0xe7};
    std::uint8_t addend11[32] = {0xfc,0x89,0x1b,0x4a,0x6a,0x50,0xdf,0x4d,0xb4,0xd6,0x6a,0x3a,0x47,0x46,0x9a,0x4d,0x8c,0xdb,0x30,0x5f,0xdd,0x2e,0x16,0x09,0x6e,0x36,0xaa,0xb0,0xd1,0xbc,0x52,0xd9};
    std::uint8_t sum11[32]    = {0x1f,0x96,0xb2,0xca,0x4c,0x76,0x50,0xa6,0xfb,0xf6,0xe1,0x59,0xd3,0xee,0xb2,0x5e,0xf3,0xad,0x58,0xd7,0x50,0x2c,0x08,0x0a,0x98,0xcd,0xa5,0xca,0xe6,0x5d,0x4c,0xc1};
    mont256_from_bytes(&ctx, augend, augend11);
    mont256_from_bytes(&ctx, addend, addend11);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum11, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend12[32] = {0x15,0x3e,0x7c,0x2a,0x26,0xa2,0xc0,0xbd,0x3b,0x12,0x87,0xff,0xf5,0x2d,0xdf,0x5d,0x61,0x64,0x99,0xc9,0xe2,0x5a,0x76,0x05,0xae,0xc6,0xf0,0x24,0x5b,0xd8,0x6d,0x40};
    std::uint8_t addend12[32] = {0xd4,0xc2,0x8c,0x2e,0x7c,0x26,0x84,0x7f,0x03,0x16,0x90,0x9e,0x3b,0xbb,0xe9,0xea,0xa8,0x94,0x8c,0x89,0x3b,0x61,0x86,0x76,0x26,0xbb,0x7d,0xbd,0x2d,0x1c,0x9a,0xf0};
    std::uint8_t sum12[32]    = {0xea,0x01,0x08,0x58,0xa2,0xc9,0x45,0x3c,0x3e,0x29,0x18,0x9e,0x30,0xe9,0xc9,0x48,0x09,0xf9,0x26,0x53,0x1d,0xbb,0xfc,0x7b,0xd5,0x82,0x6d,0xe1,0x88,0xf5,0x08,0x30};
    mont256_from_bytes(&ctx, augend, augend12);
    mont256_from_bytes(&ctx, addend, addend12);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum12, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend13[32] = {0x88,0xda,0xf4,0x01,0x6b,0x40,0x13,0xef,0x25,0x4b,0x0c,0x4e,0x01,0x0c,0x47,0x59,0x48,0x2c,0x9c,0xbc,0x43,0x43,0x5c,0xc5,0x2e,0xae,0x05,0xcf,0x96,0xd0,0xcc,0x5f};
    std::uint8_t addend13[32] = {0xdb,0xf4,0xa8,0xb2,0xb0,0xc4,0x31,0x2d,0x20,0x20,0x36,0x26,0xf3,0xfe,0x39,0xc0,0x51,0x90,0x88,0xf5,0x90,0xfb,0xbd,0x11,0x9c,0x1c,0xaa,0xf7,0x5e,0x87,0x66,0xed};
    std::uint8_t sum13[32]    = {0x64,0xcf,0x9c,0xb5,0x1c,0x04,0x45,0x1c,0x45,0x6b,0x42,0x74,0xf5,0x0a,0x81,0x19,0x99,0xbd,0x25,0xb2,0xd4,0x3f,0x19,0xd5,0xca,0xca,0xb0,0xc6,0xf5,0x58,0x33,0x4d};
    mont256_from_bytes(&ctx, augend, augend13);
    mont256_from_bytes(&ctx, addend, addend13);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum13, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend14[32] = {0x74,0xe6,0x9a,0x5d,0x0d,0xd2,0x7a,0x65,0xbd,0x62,0x88,0x81,0xad,0x1b,0x72,0xdb,0xa7,0xab,0xe1,0xc2,0x9e,0x1a,0x8e,0xf4,0xf3,0x41,0xe0,0x7a,0x83,0xf7,0x3f,0x16};
    std::uint8_t addend14[32] = {0x8f,0x2c,0x6e,0xc8,0xcc,0x41,0x69,0xa3,0xae,0x3a,0x2b,0x7f,0xdf,0xe0,0x18,0x93,0xf3,0xae,0xd0,0xb6,0xc7,0xac,0x14,0x91,0xde,0xf8,0x83,0x34,0xe6,0x47,0xcb,0x8f};
    std::uint8_t sum14[32]    = {0x04,0x13,0x09,0x26,0xda,0x13,0xe4,0x09,0x6b,0x9c,0xb4,0x01,0x8c,0xfb,0x8b,0x6f,0x9b,0x5a,0xb2,0x7a,0x65,0xc6,0xa3,0x85,0xd2,0x3a,0x63,0xaf,0x6a,0x3f,0x0a,0xa6};
    mont256_from_bytes(&ctx, augend, augend14);
    mont256_from_bytes(&ctx, addend, addend14);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum14, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend15[32] = {0x66,0x83,0x68,0x86,0xa2,0x60,0xcd,0x0b,0x7b,0x45,0x14,0x5c,0x1a,0x81,0x68,0x2c,0x64,0xe5,0x0c,0xad,0x66,0x23,0x7a,0x04,0x65,0xe7,0xe4,0x23,0x64,0x72,0xf1,0xa3};
    std::uint8_t addend15[32] = {0x1c,0x24,0x42,0xf9,0x29,0x8c,0xb3,0xa5,0x70,0xcc,0xec,0x31,0x35,0x71,0x81,0x0a,0xfc,0x13,0x2d,0x0d,0x11,0x3d,0xb1,0x7d,0x30,0xcb,0xc9,0x7d,0x0f,0xef,0x79,0x28};
    std::uint8_t sum15[32]    = {0x82,0xa7,0xab,0x7f,0xcb,0xed,0x80,0xb0,0xec,0x12,0x00,0x8d,0x4f,0xf2,0xe9,0x37,0x60,0xf8,0x39,0xba,0x77,0x61,0x2b,0x81,0x96,0xb3,0xad,0xa0,0x74,0x62,0x6a,0xcb};
    mont256_from_bytes(&ctx, augend, augend15);
    mont256_from_bytes(&ctx, addend, addend15);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum15, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend16[32] = {0x89,0x5f,0xd7,0xb3,0x26,0xb9,0x4c,0x7f,0x91,0x18,0xbb,0x16,0x00,0x0f,0x49,0xc8,0x1a,0x35,0x8c,0xa0,0x0d,0x75,0x98,0x5d,0x99,0xc9,0x43,0x09,0x57,0x0d,0xc1,0x95};
    std::uint8_t addend16[32] = {0x35,0x3c,0x63,0x1c,0xdf,0xd4,0x3f,0x37,0x12,0x00,0x33,0x9d,0x06,0x87,0x39,0xfa,0x9d,0x1d,0xe2,0xa0,0x5d,0x15,0x8a,0x2f,0xf2,0xee,0x4e,0x45,0x19,0xf9,0x91,0x9c};
    std::uint8_t sum16[32]    = {0xbe,0x9c,0x3a,0xd0,0x06,0x8d,0x8b,0xb6,0xa3,0x18,0xee,0xb3,0x06,0x96,0x83,0xc2,0xb7,0x53,0x6f,0x40,0x6a,0x8b,0x22,0x8d,0x8c,0xb7,0x91,0x4e,0x71,0x07,0x53,0x31};
    mont256_from_bytes(&ctx, augend, augend16);
    mont256_from_bytes(&ctx, addend, addend16);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum16, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend17[32] = {0x9a,0x2e,0xf8,0x0f,0x58,0xee,0x85,0x71,0xf4,0x99,0x8d,0x7c,0x40,0x93,0xf6,0xde,0xa2,0x68,0xaa,0x87,0x26,0x07,0x67,0x9d,0x60,0x50,0x91,0x4a,0x9d,0x33,0xa0,0x1c};
    std::uint8_t addend17[32] = {0xfa,0x52,0x9b,0xa3,0xfe,0x3b,0xfa,0xda,0x7c,0xf2,0x07,0x24,0xd9,0x53,0xee,0x26,0x1d,0x87,0xce,0xc3,0x1f,0x72,0x96,0xab,0x79,0x61,0xfd,0x92,0x5d,0x39,0xd0,0xa8};
    std::uint8_t sum17[32]    = {0x94,0x81,0x93,0xb4,0x57,0x2a,0x80,0x4c,0x71,0x8b,0x94,0xa1,0x19,0xe7,0xe5,0x04,0xbf,0xf0,0x79,0x4b,0x45,0x79,0xfe,0x47,0xd9,0xb2,0x8e,0xdc,0xfa,0x6d,0x70,0xc5};
    mont256_from_bytes(&ctx, augend, augend17);
    mont256_from_bytes(&ctx, addend, addend17);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum17, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend18[32] = {0xbf,0xea,0xa1,0x55,0x1a,0x28,0xf7,0xb3,0x24,0xe4,0xe2,0x5a,0x15,0xfc,0x89,0x9e,0x4f,0xd5,0x8d,0xbe,0x7b,0xdc,0x96,0x8b,0x7a,0xfb,0x2c,0x68,0x77,0x4b,0x15,0xd7};
    std::uint8_t addend18[32] = {0x84,0x2e,0x7f,0xc2,0x29,0x54,0x0a,0x6e,0xb1,0x2a,0xa1,0xf6,0xd4,0x2f,0xdd,0xbb,0x7a,0x86,0xf7,0xa2,0x43,0xc7,0x1b,0x9a,0xbd,0x87,0xa8,0x65,0x57,0xb6,0xfb,0x7e};
    std::uint8_t sum18[32]    = {0x44,0x19,0x21,0x18,0x43,0x7d,0x02,0x21,0xd6,0x0f,0x84,0x50,0xea,0x2c,0x67,0x59,0xca,0x5c,0x85,0x61,0xbf,0xa3,0xb2,0x25,0x38,0x82,0xd4,0xcd,0xcf,0x02,0x11,0x56};
    mont256_from_bytes(&ctx, augend, augend18);
    mont256_from_bytes(&ctx, addend, addend18);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum18, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend19[32] = {0xb0,0xa8,0x44,0xe5,0x25,0x87,0xbe,0x6b,0x5c,0x9b,0xcf,0x35,0x87,0x3b,0xe0,0x78,0xf3,0xb7,0xa5,0x0d,0xf3,0x73,0xca,0x53,0x34,0x88,0xf8,0x76,0x05,0xe9,0x99,0xf3};
    std::uint8_t addend19[32] = {0xa4,0x96,0x36,0xa2,0xfa,0x7f,0x0e,0xab,0x4c,0x4f,0x9b,0x06,0x87,0x32,0x2e,0x25,0xc2,0x15,0xa8,0x2a,0x06,0xec,0x41,0xad,0xea,0x05,0x75,0x43,0x8b,0x0d,0x59,0x0b};
    std::uint8_t sum19[32]    = {0x55,0x3e,0x7b,0x89,0x20,0x06,0xcd,0x16,0xa8,0xeb,0x6a,0x3c,0x0e,0x6e,0x0e,0x9e,0xb5,0xcd,0x4d,0x38,0xfa,0x60,0x0c,0x00,0x1e,0x8e,0x6d,0xb9,0x90,0xf6,0xf2,0xff};
    mont256_from_bytes(&ctx, augend, augend19);
    mont256_from_bytes(&ctx, addend, addend19);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum19, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend20[32] = {0xe8,0x83,0xa1,0xd4,0x5d,0xe0,0x09,0x97,0x84,0xb5,0xa8,0x18,0x42,0xd8,0x72,0x08,0xd8,0x6f,0x40,0xf6,0xb2,0x39,0xf3,0xc7,0x17,0x4c,0x77,0xa2,0xdd,0x02,0xde,0x92};
    std::uint8_t addend20[32] = {0x80,0xb0,0xc0,0x8b,0xc7,0x70,0x24,0x20,0x8a,0xa4,0x24,0x8c,0x88,0x57,0xf9,0xa4,0x39,0x08,0xf2,0x27,0xc5,0x9d,0xb9,0x16,0x5b,0x0e,0xe7,0x6f,0x2a,0xc3,0x44,0x46};
    std::uint8_t sum20[32]    = {0x69,0x34,0x62,0x61,0x25,0x50,0x2d,0xb8,0x0f,0x59,0xcc,0xa4,0xcb,0x30,0x6b,0xad,0x11,0x78,0x33,0x1f,0x77,0xd7,0xac,0xdc,0x72,0x5b,0x5f,0x12,0x07,0xc6,0x22,0xd9};
    mont256_from_bytes(&ctx, augend, augend20);
    mont256_from_bytes(&ctx, addend, addend20);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum20, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend21[32] = {0xc2,0x21,0x6b,0x02,0xfc,0x24,0x1d,0x0b,0xc9,0xd4,0x88,0xb1,0xcf,0xbf,0x33,0x60,0x9c,0xfc,0x86,0x52,0x39,0x19,0x42,0x42,0xa2,0xed,0xdb,0xbd,0x54,0x64,0xec,0xc2};
    std::uint8_t addend21[32] = {0xcd,0xa6,0xc6,0xfd,0xbd,0x68,0x51,0x67,0x66,0x93,0x40,0x36,0xd1,0x7e,0x44,0x97,0x3d,0x48,0x82,0xa5,0xce,0x5b,0x2a,0x92,0x31,0xf5,0x17,0x07,0xda,0x45,0xe1,0x8a};
    std::uint8_t sum21[32]    = {0x8f,0xc8,0x32,0x01,0xb9,0x8c,0x6e,0x73,0x30,0x67,0xc8,0xe8,0xa1,0x3d,0x77,0xf7,0xda,0x45,0x08,0xf9,0x07,0x74,0x6c,0xd3,0xd4,0xe2,0xf2,0xc5,0x2e,0xaa,0xce,0x4d};
    mont256_from_bytes(&ctx, augend, augend21);
    mont256_from_bytes(&ctx, addend, addend21);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum21, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend22[32] = {0xfd,0x56,0xa9,0x26,0x07,0x6b,0x3e,0x36,0xbb,0x23,0x13,0xf5,0x5b,0x06,0x25,0x8e,0x7e,0x26,0xf3,0x6a,0x84,0x83,0xf8,0xb8,0x33,0x2d,0xd3,0x31,0x3a,0x0b,0x99,0x65};
    std::uint8_t addend22[32] = {0x9a,0xea,0x64,0x29,0xb1,0x49,0x1e,0x24,0x31,0x92,0xb7,0x04,0x42,0x59,0x40,0x52,0x78,0xe4,0xb9,0x8d,0x47,0x87,0xf9,0x3b,0xca,0x44,0xeb,0x86,0x07,0x26,0xe2,0x5c};
    std::uint8_t sum22[32]    = {0x98,0x41,0x0d,0x50,0xb8,0xb4,0x5c,0x5a,0xec,0xb5,0xca,0xf9,0x9d,0x5f,0x65,0xe0,0xf7,0x0b,0xac,0xf8,0xcc,0x0b,0xf1,0xf2,0xfd,0x72,0xbe,0xb7,0x41,0x32,0x7b,0xc2};
    mont256_from_bytes(&ctx, augend, augend22);
    mont256_from_bytes(&ctx, addend, addend22);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum22, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend23[32] = {0x59,0x7a,0x1e,0xcf,0xfc,0xf0,0x0f,0xec,0xb9,0x1e,0xe9,0xe5,0xef,0xe0,0x9f,0x07,0xce,0xfe,0x2a,0x1f,0x72,0x7d,0x83,0x49,0x58,0x22,0xcb,0x77,0xf4,0xde,0x2c,0x08};
    std::uint8_t addend23[32] = {0x78,0x57,0x29,0x76,0x3a,0x12,0x91,0x7c,0x1a,0x26,0xf8,0x89,0x38,0x70,0x38,0x00,0x14,0x9e,0x25,0x9b,0x5d,0x58,0xc7,0x05,0xf9,0x79,0xd0,0x4a,0xf4,0x7a,0xeb,0xdd};
    std::uint8_t sum23[32]    = {0xd1,0xd1,0x48,0x46,0x37,0x02,0xa1,0x68,0xd3,0x45,0xe2,0x6f,0x28,0x50,0xd7,0x07,0xe3,0x9c,0x4f,0xba,0xcf,0xd6,0x4a,0x4f,0x51,0x9c,0x9b,0xc2,0xe9,0x59,0x17,0xe5};
    mont256_from_bytes(&ctx, augend, augend23);
    mont256_from_bytes(&ctx, addend, addend23);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum23, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend24[32] = {0x9c,0x3a,0x23,0xcd,0xe6,0x7a,0x9b,0x75,0xfc,0x39,0x47,0x24,0x9f,0xc2,0xd0,0xa1,0x7b,0x8f,0x2a,0xb5,0x34,0x51,0xd0,0x13,0x56,0x75,0xf6,0xad,0x32,0x5b,0x55,0xdd};
    std::uint8_t addend24[32] = {0xa4,0xa4,0x5e,0xff,0xcc,0xb5,0x73,0xd9,0x58,0x10,0xd6,0x0e,0xa7,0x29,0x91,0xb9,0xe8,0xc1,0x47,0x43,0x7a,0xbe,0xc5,0x39,0x00,0x7d,0x10,0x34,0xd7,0x26,0xc8,0x6b};
    std::uint8_t sum24[32]    = {0x40,0xde,0x82,0xce,0xb3,0x30,0x0f,0x4f,0x54,0x4a,0x1d,0x33,0x46,0xec,0x62,0x5b,0x64,0x50,0x71,0xf9,0xaf,0x10,0x95,0x4b,0x56,0xf3,0x06,0xe2,0x09,0x82,0x1e,0x49};
    mont256_from_bytes(&ctx, augend, augend24);
    mont256_from_bytes(&ctx, addend, addend24);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum24, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend25[32] = {0xb6,0x24,0x67,0x71,0xc8,0x45,0x00,0x70,0x63,0x77,0x14,0x07,0xe8,0xe7,0x27,0x89,0x1e,0xb2,0x01,0x09,0xa9,0x1c,0x24,0x39,0xd5,0xab,0x8b,0x4d,0x15,0xb4,0x0a,0xeb};
    std::uint8_t addend25[32] = {0xa2,0xc6,0x8e,0x45,0xca,0x04,0xc7,0x9f,0x6f,0x15,0xb6,0xad,0x2d,0xb3,0x99,0x7f,0xe3,0x96,0x39,0xbe,0x7a,0x60,0x5a,0x91,0x33,0x06,0x98,0xa1,0xc0,0x09,0x34,0x92};
    std::uint8_t sum25[32]    = {0x58,0xea,0xf5,0xb8,0x92,0x49,0xc8,0x0f,0xd2,0x8c,0xca,0xb5,0x16,0x9a,0xc1,0x09,0x02,0x48,0x3a,0xc9,0x23,0x7c,0x7e,0xca,0x08,0xb2,0x23,0xee,0xd5,0xbd,0x3f,0x7e};
    mont256_from_bytes(&ctx, augend, augend25);
    mont256_from_bytes(&ctx, addend, addend25);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum25, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend26[32] = {0x76,0x91,0xb0,0x6f,0x65,0x55,0xab,0xfe,0xb8,0xc9,0x81,0x7a,0xf8,0xbe,0x88,0x31,0xf2,0x37,0xe4,0x5a,0xcd,0x02,0xc5,0xe1,0x16,0x35,0x3d,0x03,0x55,0x1f,0xd8,0xf9};
    std::uint8_t addend26[32] = {0xfe,0x3c,0x9c,0x8f,0x2b,0x85,0x5c,0x1f,0x28,0xaa,0xca,0x51,0xb9,0x8c,0x67,0xc2,0x15,0xbd,0x44,0x8f,0xf2,0x61,0x49,0xed,0xbe,0x4c,0x5c,0xe6,0x66,0xc1,0x49,0x4e};
    std::uint8_t sum26[32]    = {0x74,0xce,0x4c,0xff,0x90,0xdb,0x08,0x1d,0xe1,0x74,0x4b,0xcc,0xb2,0x4a,0xef,0xf4,0x07,0xf5,0x28,0xeb,0xbf,0x64,0x0f,0xcd,0xd4,0x81,0x99,0xe9,0xbb,0xe1,0x22,0x48};
    mont256_from_bytes(&ctx, augend, augend26);
    mont256_from_bytes(&ctx, addend, addend26);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum26, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend27[32] = {0xa7,0xe6,0x52,0x9b,0xce,0x76,0xe9,0xf4,0x77,0x21,0x6e,0x9e,0xe7,0xa4,0x63,0x09,0x97,0x3f,0x79,0x86,0x26,0xb1,0xcf,0xfc,0x07,0x0d,0x71,0x09,0x20,0x85,0x96,0x34};
    std::uint8_t addend27[32] = {0xef,0xfd,0xde,0xea,0xa8,0x42,0xbc,0x19,0x79,0x6f,0x74,0xad,0xfa,0xf5,0x54,0x96,0x98,0x8a,0xf3,0xfb,0xd3,0x96,0x30,0xd6,0x9c,0x90,0x11,0xef,0x25,0x6b,0xad,0xf9};
    std::uint8_t sum27[32]    = {0x97,0xe4,0x31,0x87,0x76,0xb9,0xa6,0x0d,0xf0,0x90,0xe3,0x4c,0xe2,0x99,0xb7,0xa0,0x2f,0xca,0x6d,0x82,0xfa,0x48,0x00,0xd1,0xa3,0x9d,0x82,0xf8,0x45,0xf1,0x44,0x2e};
    mont256_from_bytes(&ctx, augend, augend27);
    mont256_from_bytes(&ctx, addend, addend27);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum27, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend28[32] = {0xcc,0xa2,0xa9,0x2b,0x03,0xa5,0x6c,0xc1,0x05,0x7a,0x40,0xb2,0x21,0x88,0x28,0x7e,0x8c,0x5c,0x71,0x5f,0x8c,0x74,0xfc,0x1e,0x27,0xe9,0xe0,0x6f,0x59,0xb4,0x4e,0x92};
    std::uint8_t addend28[32] = {0x23,0xa5,0xef,0x88,0xef,0x02,0x09,0x0b,0xbf,0xde,0xfc,0x15,0x86,0xce,0x03,0xf9,0x1a,0x4f,0x44,0xf9,0xa6,0x51,0x14,0x45,0xb9,0xf3,0x63,0x5c,0xf8,0x8c,0x42,0x2b};
    std::uint8_t sum28[32]    = {0xf0,0x48,0x98,0xb3,0xf2,0xa7,0x75,0xcc,0xc5,0x59,0x3c,0xc7,0xa8,0x56,0x2c,0x77,0xa6,0xab,0xb6,0x59,0x32,0xc6,0x10,0x63,0xe1,0xdd,0x43,0xcc,0x52,0x40,0x90,0xbd};
    mont256_from_bytes(&ctx, augend, augend28);
    mont256_from_bytes(&ctx, addend, addend28);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum28, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend29[32] = {0x07,0x2a,0x98,0xd2,0x36,0x06,0xde,0xfc,0xdf,0xb8,0x5c,0x0d,0xd3,0x7e,0xe9,0x15,0x31,0xde,0xc4,0xf4,0xdf,0x2a,0x8b,0x79,0xfc,0x8e,0x80,0xb3,0x6f,0x0e,0x22,0x89};
    std::uint8_t addend29[32] = {0x53,0x74,0x09,0x02,0x96,0x20,0xbf,0x0d,0xc3,0x80,0x84,0xa0,0x3d,0x93,0xfd,0x4c,0x80,0x4c,0x25,0xd6,0x4a,0xff,0xdc,0xd1,0x36,0x78,0xbc,0x8d,0x40,0x78,0x3f,0x0a};
    std::uint8_t sum29[32]    = {0x5a,0x9e,0xa1,0xd4,0xcc,0x27,0x9e,0x0a,0xa3,0x38,0xe0,0xae,0x11,0x12,0xe6,0x61,0xb2,0x2a,0xea,0xcb,0x2a,0x2a,0x68,0x4b,0x33,0x07,0x3d,0x40,0xaf,0x86,0x61,0x93};
    mont256_from_bytes(&ctx, augend, augend29);
    mont256_from_bytes(&ctx, addend, addend29);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum29, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend30[32] = {0xbd,0x6b,0x88,0x1a,0xe8,0xf6,0xe0,0xbd,0x0f,0x97,0x70,0x44,0x21,0x8e,0x0b,0x7b,0xd5,0x8d,0xcd,0xb4,0x6b,0x44,0x68,0x06,0x8b,0x5a,0xb3,0xee,0x42,0x65,0xbb,0x31};
    std::uint8_t addend30[32] = {0x84,0x4a,0x70,0x34,0xe7,0x7f,0xfe,0x48,0xd0,0xa6,0xec,0x17,0x95,0x56,0x58,0x5e,0xa9,0x97,0xf3,0x51,0x75,0x4a,0x09,0xcd,0xe5,0xcf,0xed,0xfa,0x5a,0x91,0x96,0xf0};
    std::uint8_t sum30[32]    = {0x41,0xb5,0xf8,0x50,0xd0,0x76,0xdf,0x05,0xe0,0x3e,0x5c,0x5b,0xb6,0xe4,0x63,0xda,0x7f,0x25,0xc1,0x06,0xe0,0x8e,0x71,0xd3,0x71,0x2a,0xa1,0xe8,0x9c,0xf7,0x52,0x22};
    mont256_from_bytes(&ctx, augend, augend30);
    mont256_from_bytes(&ctx, addend, addend30);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum30, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend31[32] = {0x26,0xde,0xbf,0xdb,0x88,0x25,0xae,0x56,0x21,0x79,0xb3,0x7d,0x80,0x6c,0x10,0xb5,0xe0,0xcf,0xab,0x4c,0xea,0xef,0xc4,0xd2,0xd3,0xbf,0x6d,0x01,0x6b,0xae,0x4b,0x5b};
    std::uint8_t addend31[32] = {0x9b,0xca,0x3c,0xb7,0x2e,0xe0,0x28,0x9d,0xc6,0xc9,0x1b,0x92,0x70,0xac,0x06,0xac,0xdf,0x70,0x30,0x17,0x04,0xc9,0xd7,0x8d,0x82,0xb3,0x35,0x99,0x86,0x04,0x87,0x19};
    std::uint8_t sum31[32]    = {0xc2,0xa8,0xfc,0x92,0xb7,0x05,0xd6,0xf3,0xe8,0x42,0xcf,0x0f,0xf1,0x18,0x17,0x62,0xc0,0x3f,0xdb,0x63,0xef,0xb9,0x9c,0x60,0x56,0x72,0xa2,0x9a,0xf1,0xb2,0xd2,0x74};
    mont256_from_bytes(&ctx, augend, augend31);
    mont256_from_bytes(&ctx, addend, addend31);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum31, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend32[32] = {0x9e,0x7d,0x6b,0x37,0x79,0x36,0xd5,0x36,0x24,0x3d,0x35,0x70,0x2c,0x1e,0xea,0x1f,0x26,0x59,0x74,0xa7,0xcc,0x96,0x6f,0x46,0xc6,0xaa,0x7d,0x55,0x01,0x01,0xb8,0x11};
    std::uint8_t addend32[32] = {0x87,0xdd,0xae,0xb7,0x84,0xb2,0x80,0x54,0xae,0xad,0x44,0xb0,0x53,0x73,0x90,0xe5,0x0f,0xcf,0x31,0xca,0x8e,0x75,0x2f,0xdf,0x1e,0xce,0x61,0x5d,0xb9,0xa6,0x44,0x2e};
    std::uint8_t sum32[32]    = {0x26,0x5b,0x19,0xef,0xfd,0xe9,0x55,0x8a,0xd2,0xea,0x7a,0x20,0x7f,0x92,0x7b,0x04,0x36,0x28,0xa6,0x73,0x5b,0x0b,0x9f,0x24,0xe5,0x78,0xde,0xb2,0xba,0xa7,0xfc,0x40};
    mont256_from_bytes(&ctx, augend, augend32);
    mont256_from_bytes(&ctx, addend, addend32);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum32, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend33[32] = {0x0e,0x8b,0xec,0x94,0x8f,0x6f,0x91,0x5f,0xe2,0x1b,0x37,0xca,0x1b,0x29,0xfc,0x99,0xc6,0xc8,0x0e,0x2b,0xc8,0xc6,0x14,0xb2,0x7b,0x84,0x44,0xd1,0x8e,0x31,0x70,0x41};
    std::uint8_t addend33[32] = {0x73,0xc1,0xcd,0x2c,0x81,0xf9,0x8b,0x52,0x19,0x05,0xd5,0x91,0xc5,0xb2,0xe7,0x5a,0x0a,0xcd,0x8b,0xe1,0x46,0xe4,0x09,0x90,0x30,0xf9,0x70,0x58,0x3f,0x9d,0x52,0xf9};
    std::uint8_t sum33[32]    = {0x82,0x4d,0xb9,0xc1,0x11,0x69,0x1c,0xb1,0xfb,0x21,0x0d,0x5b,0xe0,0xdc,0xe3,0xf3,0xd1,0x95,0x9a,0x0d,0x0f,0xaa,0x1e,0x42,0xac,0x7d,0xb5,0x29,0xcd,0xce,0xc3,0x3a};
    mont256_from_bytes(&ctx, augend, augend33);
    mont256_from_bytes(&ctx, addend, addend33);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum33, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend34[32] = {0x53,0x5b,0x6a,0x43,0x71,0x78,0xba,0x0a,0x10,0x38,0xf0,0xb5,0xe9,0x98,0xd0,0xee,0xe4,0xdd,0xf9,0xb9,0xc2,0x8e,0xe9,0x07,0x07,0x22,0x35,0xc2,0x8f,0xcd,0x7f,0x40};
    std::uint8_t addend34[32] = {0x46,0xf5,0xa1,0xb4,0xb1,0x56,0xd1,0xad,0x33,0x0c,0x16,0xa3,0x83,0x1d,0x03,0xbf,0x9b,0x2b,0xd6,0xc0,0x81,0x6b,0xee,0x06,0xf9,0x2e,0x23,0x39,0x9c,0xce,0xa0,0x98};
    std::uint8_t sum34[32]    = {0x9a,0x51,0x0b,0xf8,0x22,0xcf,0x8b,0xb7,0x43,0x45,0x07,0x59,0x6c,0xb5,0xd4,0xae,0x80,0x09,0xd0,0x7a,0x43,0xfa,0xd7,0x0e,0x00,0x50,0x58,0xfc,0x2c,0x9c,0x1f,0xd8};
    mont256_from_bytes(&ctx, augend, augend34);
    mont256_from_bytes(&ctx, addend, addend34);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum34, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend35[32] = {0x3f,0x66,0x5e,0xde,0xf1,0x06,0x37,0xce,0x81,0xfc,0x06,0x9e,0x7a,0x60,0x96,0x83,0xce,0xaf,0x49,0x15,0x88,0x85,0x64,0xe8,0x82,0x16,0x85,0x8f,0x73,0xcc,0xef,0x03};
    std::uint8_t addend35[32] = {0xec,0x3b,0x96,0x05,0x42,0x74,0xa3,0xeb,0xed,0x84,0xe9,0x1e,0xf1,0x32,0xbf,0x2d,0xe0,0x40,0x01,0x5c,0xe0,0x64,0xa1,0x14,0x85,0xf1,0x11,0x5b,0xb2,0xff,0xf1,0x7b};
    std::uint8_t sum35[32]    = {0x2b,0xa1,0xf4,0xe5,0x33,0x7a,0xdb,0xba,0x6f,0x80,0xef,0xbd,0x6b,0x93,0x55,0xb1,0xae,0xef,0x4a,0x73,0x68,0xea,0x05,0xfc,0x08,0x07,0x96,0xeb,0x26,0xcc,0xe0,0x7f};
    mont256_from_bytes(&ctx, augend, augend35);
    mont256_from_bytes(&ctx, addend, addend35);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum35, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend36[32] = {0x6a,0xa8,0xb9,0xe0,0x23,0x1b,0x3e,0x14,0x72,0x91,0x35,0xbd,0xd7,0x0a,0x39,0xd1,0x33,0xdc,0xd7,0x7f,0xf1,0x79,0xf2,0xd2,0xe4,0x8b,0x96,0x62,0x8f,0x3c,0x4b,0xe3};
    std::uint8_t addend36[32] = {0x6d,0xa7,0x9a,0x87,0x3d,0x9a,0x80,0x79,0xab,0xd0,0xd7,0xfb,0x12,0x92,0x61,0x85,0x50,0xe4,0x0d,0x54,0x71,0x2e,0xa6,0xb3,0x64,0x71,0xfd,0xe4,0x1f,0x22,0x9d,0xd0};
    std::uint8_t sum36[32]    = {0xd8,0x50,0x54,0x67,0x60,0xb5,0xbe,0x8e,0x1e,0x62,0x0d,0xb8,0xe9,0x9c,0x9b,0x56,0x84,0xc0,0xe4,0xd4,0x62,0xa8,0x99,0x86,0x48,0xfd,0x94,0x46,0xae,0x5e,0xe9,0xb3};
    mont256_from_bytes(&ctx, augend, augend36);
    mont256_from_bytes(&ctx, addend, addend36);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum36, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend37[32] = {0xc6,0xe5,0x0d,0xf2,0xe5,0xa3,0x86,0x3e,0x1f,0x52,0x52,0x65,0xc8,0xb0,0x07,0xee,0x4d,0x82,0xfe,0xac,0xab,0x62,0x86,0xcd,0x36,0x72,0xd6,0xae,0x12,0xb8,0x0a,0xed};
    std::uint8_t addend37[32] = {0x40,0xcb,0xac,0xd0,0x24,0x9a,0x45,0x84,0x5d,0xbe,0x30,0x23,0xa9,0x06,0x92,0x2f,0xa4,0xb9,0xa9,0xc4,0xb7,0x53,0xa1,0xee,0xf0,0x83,0x60,0x85,0x27,0x89,0xd0,0x59};
    std::uint8_t sum37[32]    = {0x07,0xb0,0xba,0xc4,0x0a,0x3d,0xcb,0xc2,0x7d,0x10,0x82,0x89,0x71,0xb6,0x9a,0x1d,0xf2,0x3c,0xa8,0x72,0x62,0xb6,0x28,0xbb,0x26,0xf6,0x37,0x33,0x3a,0x41,0xdb,0x47};
    mont256_from_bytes(&ctx, augend, augend37);
    mont256_from_bytes(&ctx, addend, addend37);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum37, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend38[32] = {0x18,0x18,0x9a,0xf4,0xf3,0xd7,0x4f,0x82,0xbf,0x26,0x8e,0xa0,0x38,0x36,0xe8,0x65,0x77,0xbd,0x89,0x1f,0xf7,0xb1,0x03,0xdf,0x23,0x23,0x1e,0x1e,0xe2,0x01,0x55,0x22};
    std::uint8_t addend38[32] = {0x39,0x45,0x33,0x6b,0xd5,0x1b,0x18,0x15,0xaa,0xf7,0x19,0xf3,0xfd,0x68,0x37,0x3b,0x29,0xac,0xf1,0xa5,0x7c,0xbd,0x1f,0x5a,0xe2,0x8a,0xf6,0x04,0x65,0xf4,0x29,0x86};
    std::uint8_t sum38[32]    = {0x51,0x5d,0xce,0x60,0xc8,0xf2,0x67,0x98,0x6a,0x1d,0xa8,0x94,0x35,0x9f,0x1f,0xa0,0xa1,0x6a,0x7a,0xc5,0x74,0x6e,0x23,0x3a,0x05,0xae,0x14,0x23,0x47,0xf5,0x7e,0xa8};
    mont256_from_bytes(&ctx, augend, augend38);
    mont256_from_bytes(&ctx, addend, addend38);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum38, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend39[32] = {0x6b,0xd8,0xc6,0x76,0x56,0xd0,0x50,0xcd,0x67,0x60,0x13,0x67,0x83,0xfe,0xb1,0x7b,0xfe,0x7b,0x8a,0xe4,0x6e,0x78,0x36,0xa4,0xb4,0xd1,0x9e,0xc1,0x29,0x55,0xd6,0xf0};
    std::uint8_t addend39[32] = {0x56,0x85,0xd6,0x24,0x04,0xfc,0xd5,0x55,0x5d,0xaf,0x10,0x6d,0xb8,0xde,0xe0,0x81,0x17,0x9a,0x07,0x1e,0x51,0x8a,0xe4,0x52,0x5b,0x4b,0x1b,0x75,0x32,0x1c,0x52,0x96};
    std::uint8_t sum39[32]    = {0xc2,0x5e,0x9c,0x9a,0x5b,0xcd,0x26,0x22,0xc5,0x0f,0x23,0xd5,0x3c,0xdd,0x91,0xfd,0x16,0x15,0x92,0x02,0xc0,0x03,0x1a,0xf7,0x10,0x1c,0xba,0x36,0x5b,0x72,0x29,0x86};
    mont256_from_bytes(&ctx, augend, augend39);
    mont256_from_bytes(&ctx, addend, addend39);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum39, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend40[32] = {0x84,0x76,0x8b,0x8c,0x54,0xdd,0x0b,0xa5,0x62,0x64,0x67,0xba,0x04,0xa1,0x05,0x47,0xb4,0x01,0xba,0x85,0x70,0xc1,0xdc,0xa1,0x75,0x6b,0x72,0x89,0x8d,0xd6,0x3c,0xb9};
    std::uint8_t addend40[32] = {0xeb,0x25,0xf8,0xa1,0xfc,0x2e,0x6a,0x59,0x1c,0xe3,0xbc,0x0c,0x10,0x75,0x5c,0x97,0xf5,0xf5,0x54,0xed,0x83,0x23,0x9e,0xf5,0x4b,0xa2,0xe1,0x61,0x9f,0xb9,0xaf,0x50};
    std::uint8_t sum40[32]    = {0x6f,0x9c,0x84,0x2f,0x51,0x0b,0x75,0xfe,0x7f,0x48,0x23,0xc6,0x15,0x16,0x61,0xdf,0xa9,0xf7,0x0f,0x73,0xf3,0xe5,0x7b,0x95,0xc1,0x0e,0x53,0xeb,0x2d,0x8f,0xec,0x0a};
    mont256_from_bytes(&ctx, augend, augend40);
    mont256_from_bytes(&ctx, addend, addend40);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum40, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend41[32] = {0x45,0x9c,0x94,0x5c,0x43,0xfc,0x05,0x27,0x15,0x85,0x0a,0x03,0x1a,0xd2,0xd5,0xf1,0xe0,0x5b,0x3e,0x13,0xf8,0xc1,0x10,0xfb,0x3a,0x82,0x81,0x59,0xc9,0xd2,0x29,0x50};
    std::uint8_t addend41[32] = {0xd1,0xdc,0xec,0x53,0x21,0x2a,0x8d,0x9b,0xc1,0x7a,0x92,0x62,0x45,0x3b,0xf4,0x91,0x2e,0x7a,0x26,0xe9,0xc7,0x6c,0x60,0x3f,0xe7,0xe8,0xf9,0xf6,0x0a,0x22,0x73,0x85};
    std::uint8_t sum41[32]    = {0x17,0x79,0x80,0xb0,0x65,0x26,0x92,0xc2,0xd6,0xff,0x9c,0x65,0x60,0x0e,0xca,0x83,0x0e,0xd5,0x64,0xfe,0xc0,0x2d,0x71,0x3a,0x22,0x6b,0x7b,0x4f,0xd3,0xf4,0x9c,0xd6};
    mont256_from_bytes(&ctx, augend, augend41);
    mont256_from_bytes(&ctx, addend, addend41);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum41, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend42[32] = {0x67,0xec,0x32,0x6a,0x42,0x34,0x33,0x54,0xf2,0x2d,0x28,0x82,0xd1,0xa8,0x9b,0x37,0xad,0x0c,0x9b,0xb6,0xe9,0x52,0x6a,0x69,0xd9,0x7e,0x96,0x7b,0x6c,0x18,0xd9,0x82};
    std::uint8_t addend42[32] = {0x53,0xb9,0x73,0x77,0xb3,0x4e,0x8e,0xce,0x7e,0x9e,0xe5,0x1d,0x92,0x12,0x82,0x4c,0x83,0xc8,0xcb,0x28,0xeb,0x4e,0xd2,0xe3,0x89,0x5e,0x8b,0x6b,0x26,0x3c,0xfa,0x5e};
    std::uint8_t sum42[32]    = {0xbb,0xa5,0xa5,0xe1,0xf5,0x82,0xc2,0x23,0x70,0xcc,0x0d,0xa0,0x63,0xbb,0x1d,0x84,0x30,0xd5,0x66,0xdf,0xd4,0xa1,0x3d,0x4d,0x62,0xdd,0x21,0xe6,0x92,0x55,0xd3,0xe0};
    mont256_from_bytes(&ctx, augend, augend42);
    mont256_from_bytes(&ctx, addend, addend42);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum42, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend43[32] = {0xe5,0x31,0x69,0x60,0x6c,0xe1,0x93,0xc2,0x2e,0xef,0xa2,0x79,0xb0,0x2e,0x3d,0x8d,0xcc,0xb1,0xc5,0x1d,0x0e,0xba,0x0e,0xa8,0x47,0x70,0xa0,0x87,0x16,0xe6,0xfe,0xc3};
    std::uint8_t addend43[32] = {0x42,0xb3,0x87,0x55,0xcd,0x37,0x88,0x0e,0x16,0xac,0x41,0x91,0xa2,0x6a,0xa0,0xae,0x04,0x4f,0x15,0x74,0xf0,0x37,0xaf,0xc6,0x44,0xd8,0x2a,0x53,0x12,0x89,0xba,0xfa};
    std::uint8_t sum43[32]    = {0x27,0xe4,0xf0,0xb7,0x3a,0x19,0x1b,0xd0,0x45,0x9b,0xe4,0x0b,0x52,0x98,0xde,0x3b,0xd1,0x00,0xda,0x92,0xfe,0xf1,0xbe,0x6d,0x8c,0x48,0xca,0xda,0x29,0x70,0xb9,0xbe};
    mont256_from_bytes(&ctx, augend, augend43);
    mont256_from_bytes(&ctx, addend, addend43);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum43, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend44[32] = {0x1f,0x26,0x42,0xaa,0xdc,0xde,0xd2,0x04,0x43,0xb3,0x0f,0x66,0x11,0x0e,0x2c,0xb6,0x38,0xef,0xba,0xeb,0xdb,0x31,0xcc,0xd2,0x9b,0xb1,0x83,0xe1,0x15,0x70,0x26,0x6b};
    std::uint8_t addend44[32] = {0xea,0x59,0x67,0x9a,0xed,0x3a,0x32,0xa8,0x6a,0xf2,0x57,0x48,0x8d,0x95,0x9c,0x31,0xfe,0x8a,0xd4,0xa1,0x56,0xd2,0xa6,0x8c,0x02,0xf4,0xb3,0x42,0x74,0x2a,0x80,0x63};
    std::uint8_t sum44[32]    = {0x09,0x7f,0xaa,0x46,0xca,0x19,0x04,0xac,0xae,0xa5,0x66,0xae,0x9e,0xa3,0xc8,0xe8,0x37,0x7a,0x8f,0x8e,0x32,0x04,0x73,0x5d,0x9e,0xa6,0x37,0x23,0x89,0x9a,0xa6,0xcf};
    mont256_from_bytes(&ctx, augend, augend44);
    mont256_from_bytes(&ctx, addend, addend44);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum44, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend45[32] = {0xf0,0x29,0x05,0x31,0x3d,0x0a,0x27,0x0b,0xb5,0xa4,0x32,0xcf,0x86,0xe3,0xe7,0x26,0x0b,0x0f,0x87,0x3b,0x21,0x14,0xe0,0x68,0x9f,0x27,0xf5,0x2c,0x44,0x92,0x74,0xd2};
    std::uint8_t addend45[32] = {0xee,0xa7,0xbb,0x64,0x33,0xa7,0x15,0x68,0x2e,0x5f,0x95,0x0c,0x0c,0xe5,0xaf,0x69,0x43,0x0b,0x91,0xed,0x29,0x54,0xba,0x5c,0xf8,0x1e,0x54,0xdd,0x1c,0x05,0x02,0xc6};
    std::uint8_t sum45[32]    = {0xde,0xd0,0xc0,0x96,0x70,0xb1,0x3c,0x73,0xe4,0x03,0xc7,0xdb,0x93,0xc9,0x96,0x8f,0x4e,0x1b,0x19,0x29,0x4a,0x69,0x9a,0xc4,0x97,0x46,0x4a,0x09,0x60,0x97,0x77,0x99};
    mont256_from_bytes(&ctx, augend, augend45);
    mont256_from_bytes(&ctx, addend, addend45);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum45, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend46[32] = {0x72,0x18,0x88,0xff,0x4a,0x3a,0xdf,0x99,0x34,0xb3,0xff,0x60,0xc2,0x6e,0x7a,0x42,0x87,0xf5,0x3d,0xdd,0x4e,0x14,0xd5,0x71,0xa0,0xf0,0x96,0xda,0x4f,0xde,0xbb,0xec};
    std::uint8_t addend46[32] = {0xfe,0x97,0x7c,0x56,0x04,0xa6,0x56,0x51,0xcd,0xbd,0xe7,0x47,0x58,0xd5,0x0f,0x1b,0x45,0x40,0xf4,0x26,0x2d,0x8a,0xd8,0xc0,0xac,0x12,0x7e,0x93,0x80,0x05,0xce,0x74};
    std::uint8_t sum46[32]    = {0x70,0xb0,0x05,0x56,0x4e,0xe1,0x35,0xeb,0x02,0x71,0xe6,0xa8,0x1b,0x43,0x89,0x5d,0xcd,0x36,0x32,0x04,0x7b,0x9f,0xae,0x31,0x4d,0x03,0x15,0x6d,0xcf,0xe4,0x8a,0x61};
    mont256_from_bytes(&ctx, augend, augend46);
    mont256_from_bytes(&ctx, addend, addend46);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum46, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend47[32] = {0xfa,0x61,0x97,0x74,0x8d,0x11,0x8e,0x37,0x81,0x72,0x8a,0x07,0xbb,0xab,0x27,0xf6,0x04,0xb8,0x15,0x7d,0x03,0xed,0xb9,0x20,0x09,0x75,0x83,0x40,0x40,0x1d,0x68,0xfb};
    std::uint8_t addend47[32] = {0xa8,0x87,0xae,0x22,0x1b,0x35,0x41,0x1b,0x72,0x72,0x3b,0x9c,0xef,0x44,0xc0,0xd5,0x3e,0xe4,0xda,0x5a,0x79,0x89,0xe9,0xd0,0x83,0xa4,0xe6,0x29,0x30,0x80,0x38,0x89};
    std::uint8_t sum47[32]    = {0xa2,0xe9,0x45,0x97,0xa8,0x46,0xcf,0x52,0xf3,0xe4,0xc5,0xa4,0xaa,0xef,0xe8,0xcb,0x43,0x9c,0xef,0xd8,0x7d,0x77,0xa2,0xef,0x8d,0x1a,0x69,0x69,0x70,0x9d,0xa1,0x85};
    mont256_from_bytes(&ctx, augend, augend47);
    mont256_from_bytes(&ctx, addend, addend47);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum47, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend48[32] = {0xe3,0x83,0x8b,0x9e,0xd5,0xa9,0x42,0x2a,0x8b,0xc0,0x83,0x11,0x7e,0xb8,0x6c,0x57,0xa8,0x11,0x00,0xa1,0x6e,0xa3,0x30,0xa1,0xa6,0x6d,0x58,0xb5,0xd1,0xa4,0xc0,0x1e};
    std::uint8_t addend48[32] = {0x3a,0xc4,0xda,0x9a,0xfb,0x81,0x39,0x21,0x37,0x16,0x1c,0x16,0xb0,0x0f,0xd7,0xbb,0x4e,0xca,0xde,0xa2,0x81,0xb6,0x2b,0xb5,0xf8,0x66,0x64,0xae,0x64,0xa1,0x49,0xf5};
    std::uint8_t sum48[32]    = {0x1e,0x48,0x66,0x3a,0xd1,0x2a,0x7b,0x4b,0xc2,0xd6,0x9f,0x28,0x2e,0xc8,0x44,0x12,0xf6,0xdb,0xdf,0x44,0xf0,0x59,0x5c,0x56,0x9e,0xd3,0xbd,0x64,0x36,0x46,0x0a,0x14};
    mont256_from_bytes(&ctx, augend, augend48);
    mont256_from_bytes(&ctx, addend, addend48);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum48, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend49[32] = {0x23,0xc4,0x9c,0xae,0xa2,0xcf,0x62,0xba,0xba,0x95,0x88,0x10,0xb4,0xeb,0xf4,0xb6,0xe1,0xc6,0x0a,0xa3,0xd5,0x10,0xbb,0x04,0x32,0xd9,0x0d,0xcd,0x57,0xbb,0x7d,0x97};
    std::uint8_t addend49[32] = {0x03,0xa6,0x39,0x66,0x21,0x3b,0xca,0x7f,0xd6,0x44,0xde,0x2f,0x0d,0xec,0x68,0x23,0xfb,0x5c,0x9d,0x56,0x58,0xf9,0x2d,0xea,0xfd,0x4b,0xd0,0x30,0x67,0x9a,0x44,0xdd};
    std::uint8_t sum49[32]    = {0x27,0x6a,0xd6,0x14,0xc4,0x0b,0x2d,0x3a,0x90,0xda,0x66,0x3f,0xc2,0xd8,0x5c,0xda,0xdd,0x22,0xa7,0xfa,0x2e,0x09,0xe8,0xef,0x30,0x24,0xdd,0xfd,0xbf,0x55,0xc2,0x74};
    mont256_from_bytes(&ctx, augend, augend49);
    mont256_from_bytes(&ctx, addend, addend49);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum49, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend50[32] = {0x0e,0x2e,0xc4,0x0a,0x29,0xca,0x86,0x2d,0x6e,0x45,0x05,0xf5,0x41,0x6e,0x99,0xb0,0xe1,0x3e,0x21,0x3e,0xbd,0xaa,0xea,0x00,0xa0,0x1d,0x61,0x6f,0x12,0x1a,0xe3,0xe6};
    std::uint8_t addend50[32] = {0xf8,0x8e,0xde,0x10,0xab,0xa8,0xb9,0xb3,0x81,0x85,0x79,0x7c,0xde,0xdb,0x91,0x09,0x61,0x81,0x77,0xff,0xd7,0x5d,0x67,0x69,0xaa,0x4c,0x5c,0x60,0x15,0xa0,0xcc,0xe6};
    std::uint8_t sum50[32]    = {0x06,0xbd,0xa2,0x1b,0xd5,0x73,0x3f,0xe0,0xef,0xca,0x7f,0x72,0x20,0x4a,0x2a,0xba,0x42,0xbf,0x99,0x3f,0x95,0x08,0x51,0x69,0x4a,0x69,0xbd,0xcf,0x27,0xbb,0xb0,0xcd};
    mont256_from_bytes(&ctx, augend, augend50);
    mont256_from_bytes(&ctx, addend, addend50);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum50, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend51[32] = {0x2f,0x73,0x3b,0x05,0x75,0x9e,0xb5,0x59,0x0b,0x94,0xaf,0x3a,0x4b,0x05,0xe1,0xae,0xb1,0x53,0xd6,0x9c,0x3e,0x01,0xaa,0xa6,0x99,0x49,0x8a,0xc4,0x48,0x2c,0xc7,0x8e};
    std::uint8_t addend51[32] = {0x54,0x34,0x81,0x56,0xf6,0x37,0xa4,0x68,0x5d,0x38,0x5e,0x06,0x43,0x63,0xe5,0xd9,0x00,0xed,0x6b,0x02,0x72,0x21,0x8f,0xdc,0x44,0xdf,0x96,0xff,0x28,0x54,0x14,0x24};
    std::uint8_t sum51[32]    = {0x83,0xa7,0xbc,0x5c,0x6b,0xd6,0x59,0xc1,0x68,0xcd,0x0d,0x40,0x8e,0x69,0xc7,0x87,0xb2,0x41,0x41,0x9e,0xb0,0x23,0x3a,0x82,0xde,0x29,0x21,0xc3,0x70,0x80,0xdb,0xb2};
    mont256_from_bytes(&ctx, augend, augend51);
    mont256_from_bytes(&ctx, addend, addend51);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum51, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend52[32] = {0xe1,0xe4,0x37,0xb7,0xf7,0x35,0xef,0xe6,0x08,0xd1,0x80,0x11,0x3e,0x94,0x0b,0xb4,0x52,0xd3,0x1e,0x1b,0x8c,0x0d,0x00,0x33,0xfc,0x23,0x25,0xa9,0xf8,0xfd,0xd2,0x08};
    std::uint8_t addend52[32] = {0x15,0x79,0xda,0x0a,0x61,0xb2,0x48,0x0c,0x55,0xd8,0x5e,0x8d,0x00,0x46,0x0d,0x69,0x2e,0xd6,0x54,0x11,0x5b,0x49,0x15,0x61,0x37,0xc6,0x0e,0x98,0x4f,0x3e,0x88,0x5e};
    std::uint8_t sum52[32]    = {0xf7,0x5e,0x11,0xc2,0x58,0xe8,0x37,0xf2,0x5e,0xa9,0xde,0x9e,0x3e,0xda,0x19,0x1d,0x81,0xa9,0x72,0x2c,0xe7,0x56,0x15,0x95,0x33,0xe9,0x34,0x42,0x48,0x3c,0x5a,0x66};
    mont256_from_bytes(&ctx, augend, augend52);
    mont256_from_bytes(&ctx, addend, addend52);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum52, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend53[32] = {0xc6,0xb7,0x89,0xef,0x81,0x36,0x5a,0xcc,0x3f,0x88,0xaf,0x59,0x33,0x73,0x6d,0xcc,0xa7,0xf0,0xc9,0x9e,0x80,0xb5,0x24,0x4a,0x47,0x67,0xe1,0xfa,0x79,0x82,0x3e,0xb2};
    std::uint8_t addend53[32] = {0x96,0x38,0x92,0xa7,0x66,0x46,0x5d,0x28,0x24,0xd4,0x58,0x9c,0x16,0xfa,0x14,0x21,0xd1,0x29,0xd0,0x67,0x43,0xa0,0x8f,0x06,0x17,0x42,0x0e,0x94,0x01,0x44,0x70,0x2b};
    std::uint8_t sum53[32]    = {0x5c,0xf0,0x1c,0x97,0xe7,0x7c,0xb7,0xf4,0x64,0x5d,0x07,0xf5,0x4a,0x6d,0x81,0xee,0x79,0x1a,0x9a,0x06,0xc4,0x55,0xb3,0x4f,0x5e,0xa9,0xf0,0x8e,0x7a,0xc6,0xae,0xde};
    mont256_from_bytes(&ctx, augend, augend53);
    mont256_from_bytes(&ctx, addend, addend53);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum53, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend54[32] = {0x15,0xa0,0xa8,0xae,0x3b,0x99,0x68,0x70,0xa1,0x32,0x0b,0x9d,0x4d,0xe2,0xf8,0xad,0x4c,0xb5,0x9a,0xa7,0x05,0xc2,0x2d,0x3f,0x64,0xdb,0xc8,0xd3,0x0a,0xaa,0xaf,0x81};
    std::uint8_t addend54[32] = {0xe4,0x8e,0x9e,0x02,0xa8,0x54,0xc8,0x34,0x27,0xbe,0x9a,0xb1,0xc0,0x23,0x6e,0x49,0xda,0x6e,0x6d,0x8e,0x87,0x78,0xf7,0x42,0xf5,0x27,0xb5,0xc2,0x95,0xe8,0xc9,0x3e};
    std::uint8_t sum54[32]    = {0xfa,0x2f,0x46,0xb0,0xe3,0xee,0x30,0xa4,0xc8,0xf0,0xa6,0x4f,0x0e,0x06,0x66,0xf7,0x27,0x24,0x08,0x35,0x8d,0x3b,0x24,0x82,0x5a,0x03,0x7e,0x95,0xa0,0x93,0x78,0xbf};
    mont256_from_bytes(&ctx, augend, augend54);
    mont256_from_bytes(&ctx, addend, addend54);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum54, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend55[32] = {0xb8,0x7e,0x4e,0x2b,0x53,0x7d,0x91,0x28,0xc3,0xa9,0xe8,0x89,0x63,0xb7,0x59,0xf5,0x98,0xb8,0x1c,0x66,0xe1,0x0c,0x16,0x7d,0xc8,0xb6,0xea,0xff,0xb7,0x4b,0x58,0x9b};
    std::uint8_t addend55[32] = {0x25,0x0e,0x7b,0x34,0xa4,0xaa,0x07,0xb4,0x9e,0x63,0x97,0xd4,0xb9,0x62,0x45,0xd3,0x48,0xbf,0xcb,0xcf,0x26,0x43,0x37,0x98,0x7e,0x83,0x49,0x04,0xfc,0x17,0x34,0x98};
    std::uint8_t sum55[32]    = {0xdd,0x8c,0xc9,0x5f,0xf8,0x27,0x98,0xdd,0x62,0x0d,0x80,0x5e,0x1d,0x19,0x9f,0xc8,0xe1,0x77,0xe8,0x36,0x07,0x4f,0x4e,0x16,0x47,0x3a,0x34,0x04,0xb3,0x62,0x8d,0x33};
    mont256_from_bytes(&ctx, augend, augend55);
    mont256_from_bytes(&ctx, addend, addend55);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum55, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend56[32] = {0x6d,0xe2,0xfb,0x1f,0xa0,0x98,0xd6,0x91,0x83,0x52,0xbc,0x85,0xe4,0x56,0x55,0x9c,0xb7,0x0a,0xf5,0xf2,0xd5,0xd5,0x89,0x1f,0xd3,0x29,0xd6,0x5c,0x0b,0x35,0xb1,0xde};
    std::uint8_t addend56[32] = {0xc0,0xbb,0xe6,0xed,0x86,0x14,0xf5,0x04,0xe8,0xee,0x65,0xa1,0x23,0xa9,0xa9,0xda,0x81,0x6b,0x23,0x32,0xcf,0xed,0x94,0x3b,0xb3,0x78,0x3a,0x7c,0xbb,0xdd,0xbb,0x9b};
    std::uint8_t sum56[32]    = {0x2e,0x9e,0xe2,0x0e,0x26,0xad,0xcb,0x96,0x6c,0x41,0x22,0x27,0x07,0xff,0xff,0x77,0x38,0x76,0x19,0x26,0xa5,0xc3,0x1d,0x5a,0x86,0xa2,0x10,0xd8,0xc7,0x13,0x6d,0x7a};
    mont256_from_bytes(&ctx, augend, augend56);
    mont256_from_bytes(&ctx, addend, addend56);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum56, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend57[32] = {0xaf,0xbc,0x9c,0xa9,0xd3,0x8f,0x8c,0x45,0x04,0x1d,0xcd,0x94,0xcd,0xff,0x5a,0x1c,0xd0,0x1a,0x91,0x4c,0xd5,0xbe,0x78,0x5a,0x91,0x87,0xdf,0x42,0x81,0x1e,0x76,0x16};
    std::uint8_t addend57[32] = {0xa4,0x94,0x6d,0x15,0xb1,0x7d,0xd2,0x55,0xf4,0xc1,0x82,0x26,0xae,0xd2,0x3b,0x0f,0xb6,0x10,0x4b,0x84,0xe4,0x90,0x7d,0x49,0xcc,0x47,0x93,0xd7,0x95,0x85,0x0e,0x21};
    std::uint8_t sum57[32]    = {0x54,0x51,0x09,0xc0,0x85,0x0d,0x5e,0x9a,0xf8,0xdf,0x4f,0xbb,0x7c,0xd1,0x95,0x2c,0x86,0x2a,0xdc,0xd2,0xba,0x4e,0xf5,0xa3,0x5d,0xcf,0x73,0x1a,0x16,0xa3,0x84,0x38};
    mont256_from_bytes(&ctx, augend, augend57);
    mont256_from_bytes(&ctx, addend, addend57);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum57, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend58[32] = {0xf5,0xa2,0xd8,0x79,0x5c,0x57,0x53,0x2b,0xa3,0x1a,0x49,0xdd,0x22,0x12,0x65,0x40,0x0a,0xb7,0x79,0x88,0x07,0xfa,0x22,0xf7,0x15,0xc8,0x91,0xff,0x3a,0xdd,0x65,0x27};
    std::uint8_t addend58[32] = {0x04,0xd2,0xbe,0x09,0xa0,0xb5,0x58,0x64,0x0c,0xff,0xf0,0x54,0x8e,0xfb,0xa4,0x42,0x73,0x8e,0x0b,0x77,0xd5,0xf8,0x60,0xc3,0x60,0x6a,0x0d,0xeb,0x1a,0xdb,0xce,0x5d};
    std::uint8_t sum58[32]    = {0xfa,0x75,0x96,0x82,0xfd,0x0c,0xab,0x8f,0xb0,0x1a,0x3a,0x31,0xb1,0x0e,0x09,0x82,0x7e,0x45,0x84,0xff,0xdd,0xf2,0x83,0xba,0x76,0x32,0x9f,0xea,0x55,0xb9,0x33,0x84};
    mont256_from_bytes(&ctx, augend, augend58);
    mont256_from_bytes(&ctx, addend, addend58);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum58, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend59[32] = {0x74,0xfa,0x94,0x12,0x00,0xd9,0x35,0x34,0x43,0x87,0xee,0x7b,0x7d,0x42,0x64,0x6f,0x3e,0x9b,0x76,0x8f,0xae,0x40,0x01,0xe3,0x88,0x0c,0xb4,0x01,0xa0,0x50,0x60,0x98};
    std::uint8_t addend59[32] = {0x17,0x89,0x81,0x9f,0x89,0x02,0xda,0xfc,0xe5,0xd9,0xfe,0x81,0x80,0xc2,0xb5,0xf1,0xee,0xb8,0x9f,0xf1,0xbf,0x8e,0x51,0xaa,0x11,0xf2,0xd4,0x4d,0xcc,0x35,0xe8,0x34};
    std::uint8_t sum59[32]    = {0x8c,0x84,0x15,0xb1,0x89,0xdc,0x10,0x31,0x29,0x61,0xec,0xfc,0xfe,0x05,0x1a,0x61,0x2d,0x54,0x16,0x81,0x6d,0xce,0x53,0x8d,0x99,0xff,0x88,0x4f,0x6c,0x86,0x48,0xcc};
    mont256_from_bytes(&ctx, augend, augend59);
    mont256_from_bytes(&ctx, addend, addend59);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum59, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend60[32] = {0xcf,0x28,0xf6,0x5e,0x40,0x8f,0xc1,0x46,0x79,0x4e,0xc9,0x26,0xbc,0x9e,0x28,0xea,0xbe,0xe8,0x06,0x26,0x10,0xe8,0xad,0x01,0x86,0xa7,0x4a,0x63,0xa8,0xc7,0xd9,0xe0};
    std::uint8_t addend60[32] = {0x3b,0x11,0x85,0xd9,0x34,0x89,0x22,0xd7,0xc1,0xa6,0x24,0xdc,0xba,0xb5,0xb3,0x73,0x3c,0x1a,0xe9,0x17,0x43,0xfb,0x9f,0xbc,0xd8,0x9c,0x36,0xb2,0x13,0x0f,0x27,0xb2};
    std::uint8_t sum60[32]    = {0x0a,0x3a,0x7c,0x38,0x75,0x18,0xe4,0x1e,0x3a,0xf4,0xee,0x03,0x77,0x53,0xdc,0x5d,0xfb,0x02,0xef,0x3e,0x54,0xe4,0x4c,0xbd,0x5f,0x43,0x81,0x15,0xbb,0xd7,0x01,0x93};
    mont256_from_bytes(&ctx, augend, augend60);
    mont256_from_bytes(&ctx, addend, addend60);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum60, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend61[32] = {0x13,0xa5,0x39,0x7f,0x61,0xef,0x7b,0xd1,0xd8,0x74,0xbc,0x79,0x7e,0x73,0x6d,0x5f,0x75,0xd8,0xd8,0xa4,0xf9,0xc9,0xc6,0x79,0xa6,0x61,0xf6,0x2c,0xbd,0x65,0x68,0x0c};
    std::uint8_t addend61[32] = {0xa1,0xfe,0xb6,0x24,0x9d,0xf2,0x02,0x5f,0x0b,0xf7,0xa4,0xbd,0xc4,0x58,0x27,0x2f,0x49,0x8d,0xbf,0xa8,0xaf,0x06,0xbc,0xf7,0xe9,0x14,0x57,0xdb,0x7a,0xa0,0x68,0xf1};
    std::uint8_t sum61[32]    = {0xb5,0xa3,0xef,0xa3,0xff,0xe1,0x7e,0x30,0xe4,0x6c,0x61,0x37,0x42,0xcb,0x94,0x8e,0xbf,0x66,0x98,0x4d,0xa8,0xd0,0x83,0x71,0x8f,0x76,0x4e,0x08,0x38,0x05,0xd0,0xfd};
    mont256_from_bytes(&ctx, augend, augend61);
    mont256_from_bytes(&ctx, addend, addend61);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum61, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend62[32] = {0xa6,0xca,0xf4,0xa3,0x41,0x02,0x3a,0xed,0x54,0xef,0x12,0x5a,0x25,0xbd,0xa6,0x59,0x99,0x86,0x48,0xe0,0x13,0xd5,0x31,0x6f,0x32,0xc3,0x24,0x44,0xa4,0x8c,0x1d,0x5c};
    std::uint8_t addend62[32] = {0x7b,0x7f,0xec,0x4b,0x03,0x31,0x2e,0xad,0x22,0x29,0x30,0xae,0x91,0x58,0xd4,0xa8,0x9f,0x03,0xbc,0x5a,0x4d,0xee,0x48,0x12,0xb1,0x61,0x07,0xf1,0xbe,0x43,0x7c,0x7b};
    std::uint8_t sum62[32]    = {0x22,0x4a,0xe0,0xef,0x44,0x33,0x69,0x9a,0x77,0x18,0x43,0x08,0xb7,0x16,0x7b,0x02,0x38,0x8a,0x05,0x3b,0x61,0xc3,0x79,0x80,0xe4,0x24,0x2c,0x36,0x62,0xcf,0x99,0xd8};
    mont256_from_bytes(&ctx, augend, augend62);
    mont256_from_bytes(&ctx, addend, addend62);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum62, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend63[32] = {0x37,0xba,0xc2,0x33,0xb1,0x33,0x0c,0x3f,0x19,0x7a,0x14,0xe2,0xac,0x08,0x4b,0xa5,0xf8,0xf6,0x59,0xac,0x44,0xce,0x4a,0xb3,0x7c,0x5d,0x42,0xdc,0x0f,0x87,0x7a,0xe3};
    std::uint8_t addend63[32] = {0x77,0x45,0x10,0xca,0x76,0xf4,0x25,0x1e,0x49,0x19,0x61,0xa1,0x84,0x3b,0xae,0xe9,0xb5,0x78,0x90,0x9c,0x4a,0x75,0x91,0xf2,0x7d,0x57,0x5d,0x17,0xac,0xfb,0x2d,0x5e};
    std::uint8_t sum63[32]    = {0xae,0xff,0xd2,0xfe,0x28,0x27,0x31,0x5d,0x62,0x93,0x76,0x84,0x30,0x43,0xfa,0x8f,0xae,0x6e,0xea,0x48,0x8f,0x43,0xdc,0xa5,0xf9,0xb4,0x9f,0xf3,0xbc,0x82,0xa8,0x41};
    mont256_from_bytes(&ctx, augend, augend63);
    mont256_from_bytes(&ctx, addend, addend63);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum63, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend64[32] = {0x4f,0xc9,0xe9,0x18,0x33,0x02,0x0c,0xcd,0x8c,0x90,0x47,0x3e,0xe4,0xc7,0x17,0xfd,0xfe,0x48,0xef,0x63,0x1e,0x56,0x34,0x08,0xc4,0x65,0x3c,0xde,0x77,0x62,0x00,0xb5};
    std::uint8_t addend64[32] = {0x13,0x93,0x29,0x04,0x75,0x7f,0x1c,0xba,0x4a,0x22,0x7f,0x39,0x04,0x7b,0x2c,0x10,0x79,0x12,0xef,0x4a,0xef,0xae,0x5d,0x4e,0x15,0xfa,0x8b,0x65,0xfa,0x66,0x72,0xcd};
    std::uint8_t sum64[32]    = {0x63,0x5d,0x12,0x1c,0xa8,0x81,0x29,0x87,0xd6,0xb2,0xc6,0x77,0xe9,0x42,0x44,0x0e,0x77,0x5b,0xde,0xae,0x0e,0x04,0x91,0x56,0xda,0x5f,0xc8,0x44,0x71,0xc8,0x73,0x82};
    mont256_from_bytes(&ctx, augend, augend64);
    mont256_from_bytes(&ctx, addend, addend64);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum64, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend65[32] = {0x63,0x08,0x7e,0x52,0x44,0xc6,0xb8,0x95,0xfe,0x74,0x9e,0x67,0x73,0x0f,0x37,0xf1,0xfe,0x9e,0xb4,0xad,0xf7,0xd5,0xf1,0x24,0x81,0xb1,0xc0,0x25,0xd1,0xe4,0xd0,0xa3};
    std::uint8_t addend65[32] = {0x17,0x1e,0x1a,0x8c,0x94,0xdb,0x5f,0x8f,0x13,0x19,0xd4,0x24,0x35,0xf1,0x03,0x00,0xee,0x37,0x9c,0x65,0xf2,0x12,0x01,0xe4,0xea,0xa3,0x55,0x6c,0x35,0xb7,0xe4,0x48};
    std::uint8_t sum65[32]    = {0x7a,0x26,0x98,0xde,0xd9,0xa2,0x18,0x25,0x11,0x8e,0x72,0x8b,0xa9,0x00,0x3a,0xf2,0xec,0xd6,0x51,0x13,0xe9,0xe7,0xf3,0x09,0x6c,0x55,0x15,0x92,0x07,0x9c,0xb4,0xeb};
    mont256_from_bytes(&ctx, augend, augend65);
    mont256_from_bytes(&ctx, addend, addend65);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum65, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend66[32] = {0x9a,0x76,0x2d,0x54,0x21,0xf2,0x67,0xe2,0x5c,0x0b,0xb4,0x0f,0xf3,0xe6,0xca,0x73,0x43,0x05,0xe9,0x86,0x86,0x29,0x2b,0xb5,0xbf,0x5b,0x41,0x1b,0x24,0x49,0x1d,0xf6};
    std::uint8_t addend66[32] = {0x5d,0x7c,0xfe,0xd1,0xb4,0x0d,0xe5,0x6d,0x1c,0xd8,0x6f,0xc1,0xe3,0x09,0x66,0x19,0x47,0x91,0xc2,0xe9,0x82,0x3d,0x11,0xed,0xa1,0xb5,0x01,0xd6,0xd1,0xf9,0xbd,0xfe};
    std::uint8_t sum66[32]    = {0xf7,0xf3,0x2c,0x25,0xd6,0x00,0x4d,0x4f,0x78,0xe4,0x23,0xd1,0xd6,0xf0,0x30,0x8c,0x8a,0x97,0xac,0x70,0x08,0x66,0x3d,0xa3,0x61,0x10,0x42,0xf1,0xf6,0x42,0xdb,0xf4};
    mont256_from_bytes(&ctx, augend, augend66);
    mont256_from_bytes(&ctx, addend, addend66);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum66, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend67[32] = {0x28,0xb8,0x80,0x73,0x06,0x5b,0x8c,0x35,0x64,0xe2,0x76,0x02,0x7c,0x73,0xb6,0xc9,0xe0,0x4b,0x0d,0xce,0xe5,0xd0,0x0a,0x4d,0x7f,0x75,0x95,0xb5,0x3b,0x3b,0xf4,0xbf};
    std::uint8_t addend67[32] = {0xba,0x28,0xa6,0x79,0x4d,0x4c,0xa9,0xc7,0x67,0xc9,0x8f,0xb9,0x73,0x65,0x06,0xec,0xae,0x7c,0x8f,0x09,0x7d,0xdf,0xcb,0xc9,0xf3,0x30,0x8c,0xe5,0x00,0xeb,0x4e,0x11};
    std::uint8_t sum67[32]    = {0xe2,0xe1,0x26,0xec,0x53,0xa8,0x35,0xfc,0xcc,0xac,0x05,0xbb,0xef,0xd8,0xbd,0xb6,0x8e,0xc7,0x9c,0xd8,0x63,0xaf,0xd6,0x17,0x72,0xa6,0x22,0x9a,0x3c,0x27,0x42,0xd0};
    mont256_from_bytes(&ctx, augend, augend67);
    mont256_from_bytes(&ctx, addend, addend67);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum67, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend68[32] = {0x54,0xd1,0xac,0x6b,0xd7,0x19,0x61,0x89,0x1e,0xf3,0xea,0x44,0x50,0xea,0x7d,0xa7,0x60,0x48,0x7e,0x15,0x58,0x0d,0xc5,0xab,0x6a,0x8a,0xd9,0xcb,0x24,0x05,0x63,0x60};
    std::uint8_t addend68[32] = {0xf0,0x9c,0x0a,0xfb,0x1e,0xbb,0x07,0x94,0x65,0xf4,0x56,0xaa,0xd6,0xcf,0xf7,0x18,0x56,0x99,0x08,0xf6,0xc0,0x30,0x1b,0x21,0x53,0x15,0x8c,0xe4,0x00,0x72,0x1f,0x84};
    std::uint8_t sum68[32]    = {0x45,0x6d,0xb7,0x67,0xf5,0xd4,0x69,0x1d,0x84,0xe8,0x40,0xef,0x27,0xba,0x74,0xbf,0xb6,0xe1,0x87,0x0d,0x18,0x3d,0xe0,0xcb,0xbd,0xa0,0x66,0xaf,0x24,0x77,0x82,0xe5};
    mont256_from_bytes(&ctx, augend, augend68);
    mont256_from_bytes(&ctx, addend, addend68);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum68, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend69[32] = {0x40,0xd2,0x84,0x06,0x4a,0x32,0x7e,0x2d,0xbd,0x6a,0x99,0x6d,0xe6,0xcd,0x10,0xf1,0x03,0x00,0x30,0x05,0xb6,0x88,0xb6,0x61,0x32,0x1c,0x17,0x44,0xed,0x28,0x79,0xc1};
    std::uint8_t addend69[32] = {0x13,0x8e,0xfe,0xf9,0x96,0xd4,0x48,0x0f,0xde,0xb6,0x7a,0xe7,0xff,0xb0,0xdd,0x9e,0x63,0xe1,0x98,0x69,0x64,0x95,0x0d,0xc2,0x10,0xa2,0x5b,0x19,0x5f,0x49,0xf0,0xfc};
    std::uint8_t sum69[32]    = {0x54,0x61,0x82,0xff,0xe1,0x06,0xc6,0x3d,0x9c,0x21,0x14,0x55,0xe6,0x7d,0xee,0x8f,0x66,0xe1,0xc8,0x6f,0x1b,0x1d,0xc4,0x23,0x42,0xbe,0x72,0x5e,0x4c,0x72,0x6a,0xbd};
    mont256_from_bytes(&ctx, augend, augend69);
    mont256_from_bytes(&ctx, addend, addend69);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum69, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend70[32] = {0x47,0xd7,0xdf,0x79,0x0c,0x5b,0x4c,0x59,0xda,0xb0,0x79,0x29,0x46,0x70,0x93,0x12,0xc1,0x72,0xb2,0x98,0x6d,0x94,0xdd,0x6d,0xec,0xe8,0x07,0x99,0x5c,0x57,0x72,0x2e};
    std::uint8_t addend70[32] = {0x26,0x1f,0x40,0xdf,0xef,0x82,0xd1,0xa3,0xa2,0x8c,0xf7,0xb1,0x49,0x1e,0x99,0xf5,0xa9,0x77,0x66,0xfb,0xd5,0xad,0x53,0x60,0x0d,0x36,0xce,0x2c,0x1a,0x09,0xa8,0x40};
    std::uint8_t sum70[32]    = {0x6d,0xf7,0x20,0x58,0xfb,0xde,0x1d,0xfd,0x7d,0x3d,0x70,0xda,0x8f,0x8f,0x2d,0x08,0x6a,0xea,0x19,0x94,0x43,0x42,0x30,0xcd,0xfa,0x1e,0xd5,0xc5,0x76,0x61,0x1a,0x6e};
    mont256_from_bytes(&ctx, augend, augend70);
    mont256_from_bytes(&ctx, addend, addend70);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum70, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend71[32] = {0xc5,0xef,0x5c,0xfb,0x30,0x99,0xf2,0x71,0x50,0xcb,0x40,0x7a,0x82,0xce,0x78,0x6f,0x6f,0xad,0x79,0x36,0x44,0x06,0xc0,0x53,0xf8,0x95,0xfc,0x55,0x3f,0xd3,0xbe,0x98};
    std::uint8_t addend71[32] = {0xc2,0xfb,0xd8,0xa3,0xcf,0xdc,0xc2,0x57,0x07,0x6d,0x49,0x0a,0xe2,0x5f,0x4b,0x1c,0x6d,0x80,0xde,0x7c,0xf4,0xc7,0x3f,0x2b,0xc8,0xff,0x1c,0x38,0x5f,0x93,0xd1,0x80};
    std::uint8_t sum71[32]    = {0x88,0xeb,0x35,0xa0,0x00,0x76,0xb4,0xc8,0x58,0x38,0x89,0x85,0x65,0x2d,0xc3,0x8b,0xdd,0x2e,0x57,0xb4,0x38,0xcd,0xff,0x7e,0xc1,0x95,0x18,0x8d,0x9f,0x67,0x90,0x19};
    mont256_from_bytes(&ctx, augend, augend71);
    mont256_from_bytes(&ctx, addend, addend71);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum71, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend72[32] = {0x34,0x14,0x5e,0x87,0x8c,0x9a,0x37,0x51,0x8d,0xdc,0xf8,0x3c,0xf0,0xd1,0xab,0x56,0xe0,0x2f,0x9a,0x72,0xe9,0xd6,0x25,0xc9,0x66,0x69,0x21,0x58,0xa1,0x82,0x63,0x27};
    std::uint8_t addend72[32] = {0x9d,0x6b,0x02,0x3f,0x73,0x6b,0x96,0xa0,0x69,0x2f,0xd3,0x60,0xbb,0x7b,0x73,0x8e,0xee,0xf7,0x95,0xcd,0x0c,0xaa,0x76,0x12,0x14,0xa0,0xb0,0x0b,0xb8,0x35,0xe8,0xa5};
    std::uint8_t sum72[32]    = {0xd1,0x7f,0x60,0xc7,0x00,0x05,0xcd,0xf1,0xf7,0x0c,0xcb,0x9d,0xac,0x4d,0x1e,0xe5,0xcf,0x27,0x30,0x3f,0xf6,0x80,0x9b,0xdb,0x7b,0x09,0xd1,0x64,0x59,0xb8,0x4b,0xcc};
    mont256_from_bytes(&ctx, augend, augend72);
    mont256_from_bytes(&ctx, addend, addend72);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum72, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend73[32] = {0xe9,0x72,0x9f,0x3f,0x0c,0x89,0xc0,0x01,0x7c,0x4e,0xa6,0x03,0x49,0x44,0xf2,0xce,0xde,0x96,0x2a,0x6d,0xa4,0xfd,0x57,0xc5,0x23,0x79,0x7d,0x45,0xc0,0xae,0xd9,0xc5};
    std::uint8_t addend73[32] = {0x48,0x20,0x82,0x31,0x57,0xfa,0x49,0xe5,0x6a,0x34,0xb3,0x71,0x78,0xe1,0x0e,0x70,0x2b,0xb7,0x1c,0x68,0x20,0x97,0x79,0x8c,0x8c,0xd3,0xe4,0x18,0xed,0x41,0x42,0xba};
    std::uint8_t sum73[32]    = {0x31,0x93,0x21,0x71,0x64,0x84,0x09,0xe6,0xe6,0x83,0x59,0x74,0xc2,0x26,0x01,0x3f,0x0a,0x4d,0x46,0xd6,0xc5,0x94,0xd1,0x50,0xb0,0x4d,0x61,0x5e,0xad,0xf0,0x1c,0x80};
    mont256_from_bytes(&ctx, augend, augend73);
    mont256_from_bytes(&ctx, addend, addend73);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum73, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend74[32] = {0x67,0xfd,0x54,0x99,0x42,0x9a,0x70,0x79,0xa7,0x1f,0x11,0xb2,0xf9,0xee,0x8b,0xc8,0xbd,0x1e,0x69,0x12,0xbd,0x31,0x3b,0xee,0x41,0x78,0x5b,0xc6,0x4c,0x3a,0xc6,0xfc};
    std::uint8_t addend74[32] = {0x1e,0xa7,0x72,0x28,0x64,0xf5,0x49,0x69,0xab,0x3b,0x74,0xfe,0x8e,0xac,0xa2,0x88,0x7b,0xb1,0xd1,0x24,0x4d,0x03,0x9b,0x72,0x3d,0x19,0x26,0xac,0xa7,0xef,0x4f,0x5d};
    std::uint8_t sum74[32]    = {0x86,0xa4,0xc6,0xc1,0xa7,0x8f,0xb9,0xe3,0x52,0x5a,0x86,0xb1,0x88,0x9b,0x2e,0x51,0x38,0xd0,0x3a,0x37,0x0a,0x34,0xd7,0x60,0x7e,0x91,0x82,0x72,0xf4,0x2a,0x16,0x59};
    mont256_from_bytes(&ctx, augend, augend74);
    mont256_from_bytes(&ctx, addend, addend74);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum74, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend75[32] = {0xcf,0xd3,0xdd,0x72,0xe7,0xec,0xfd,0x0c,0x80,0x27,0xa2,0xa2,0x35,0x37,0x22,0x35,0x13,0x3e,0x61,0x53,0x29,0x62,0x59,0xc8,0xa4,0xa9,0x15,0xd0,0x2a,0xd6,0x4c,0xe9};
    std::uint8_t addend75[32] = {0xc2,0x5e,0x11,0x4f,0xff,0x18,0xfe,0x33,0x55,0x34,0xa0,0x34,0xe8,0x00,0x9d,0x90,0x73,0xf6,0xe5,0x3d,0x38,0x53,0x93,0x3d,0x8c,0xe6,0x21,0xef,0x7f,0x40,0x5b,0xc8};
    std::uint8_t sum75[32]    = {0x92,0x31,0xee,0xc3,0xe7,0x05,0xfb,0x3f,0xd5,0x5c,0x42,0xd7,0x1d,0x37,0xbf,0xc5,0x87,0x35,0x46,0x91,0x61,0xb5,0xed,0x05,0x31,0x8f,0x37,0xbf,0xaa,0x16,0xa8,0xb2};
    mont256_from_bytes(&ctx, augend, augend75);
    mont256_from_bytes(&ctx, addend, addend75);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum75, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend76[32] = {0x2c,0xb8,0xd1,0x4c,0x17,0x39,0x10,0xe3,0x3e,0x7c,0x65,0x67,0x31,0x41,0x97,0x75,0x8c,0x3b,0xa8,0x59,0x23,0xbc,0x91,0x52,0x6d,0x6b,0x98,0x7a,0x73,0x30,0x9b,0x95};
    std::uint8_t addend76[32] = {0xcf,0x32,0x1d,0x63,0x42,0x23,0xb8,0xaa,0x5e,0x49,0x42,0x2a,0x3d,0x37,0x66,0x42,0x51,0xbc,0xd7,0x7a,0x17,0x51,0xf5,0x79,0x8e,0x4d,0xc3,0xa3,0x57,0x8a,0x60,0xd8};
    std::uint8_t sum76[32]    = {0xfb,0xea,0xee,0xaf,0x59,0x5c,0xc9,0x8d,0x9c,0xc5,0xa7,0x91,0x6e,0x78,0xfd,0xb7,0xdd,0xf8,0x7f,0xd3,0x3b,0x0e,0x86,0xcb,0xfb,0xb9,0x5c,0x1d,0xca,0xba,0xfc,0x6d};
    mont256_from_bytes(&ctx, augend, augend76);
    mont256_from_bytes(&ctx, addend, addend76);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum76, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend77[32] = {0x62,0x01,0xa9,0xd3,0x69,0xac,0x0f,0x03,0xde,0xe0,0xa8,0x43,0xbf,0xe9,0x8f,0x8c,0x05,0x24,0x13,0x7f,0xe3,0x22,0xe9,0x6d,0x33,0xbf,0x91,0x57,0x91,0xd2,0x77,0xf2};
    std::uint8_t addend77[32] = {0xc0,0x8a,0x58,0xd7,0x56,0x94,0x7a,0x7a,0x45,0x2e,0x70,0x4d,0x60,0x7a,0x47,0x32,0x35,0xc2,0xe2,0x29,0x86,0x2f,0xe2,0x31,0xbe,0xef,0x67,0xfb,0x69,0xf4,0x46,0x12};
    std::uint8_t sum77[32]    = {0x22,0x8c,0x02,0xab,0xc0,0x40,0x89,0x7e,0x24,0x0f,0x18,0x91,0x20,0x63,0xd6,0xbe,0x3a,0xe6,0xf5,0xaa,0x69,0x52,0xcb,0x9d,0xf2,0xae,0xf9,0x52,0xfb,0xc6,0xbe,0x05};
    mont256_from_bytes(&ctx, augend, augend77);
    mont256_from_bytes(&ctx, addend, addend77);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum77, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend78[32] = {0xaf,0xcf,0x0e,0x77,0x20,0x39,0x43,0xf6,0x5c,0x32,0x7a,0x6d,0xf7,0xba,0x38,0xb6,0x93,0x04,0x10,0x6e,0x47,0x0b,0x4f,0xad,0x7f,0x86,0x7d,0x5f,0x0f,0xe3,0x21,0xec};
    std::uint8_t addend78[32] = {0x17,0xb4,0x83,0x4c,0x37,0x49,0x5c,0x5e,0xd9,0x3f,0xf7,0x16,0xdc,0xe4,0x7b,0x21,0xca,0x51,0xe1,0x52,0xa1,0x2f,0x3a,0x94,0x87,0x7b,0x55,0xcb,0x80,0xde,0x8b,0x3e};
    std::uint8_t sum78[32]    = {0xc7,0x83,0x91,0xc3,0x57,0x82,0xa0,0x55,0x35,0x72,0x71,0x84,0xd4,0x9e,0xb3,0xd8,0x5d,0x55,0xf1,0xc0,0xe8,0x3a,0x8a,0x42,0x07,0x01,0xd3,0x2a,0x90,0xc1,0xad,0x2a};
    mont256_from_bytes(&ctx, augend, augend78);
    mont256_from_bytes(&ctx, addend, addend78);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum78, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend79[32] = {0x6e,0x8c,0xd9,0x4e,0x72,0x23,0xc6,0x8a,0xa5,0x52,0x9b,0x05,0x66,0x56,0x7b,0xc4,0x62,0x72,0x92,0xf8,0x3f,0x9a,0xa8,0x84,0xe5,0x94,0x09,0xc1,0x45,0x61,0x9f,0xc0};
    std::uint8_t addend79[32] = {0x20,0x93,0x42,0xca,0x05,0x95,0x5f,0xb9,0xf7,0xd1,0x7e,0xbd,0xdf,0x75,0xc8,0x83,0xd0,0x78,0x84,0xb7,0xd9,0x43,0x55,0x41,0x4f,0xe0,0x48,0x02,0xf4,0x35,0xa5,0x73};
    std::uint8_t sum79[32]    = {0x8f,0x20,0x1c,0x18,0x77,0xb9,0x26,0x44,0x9d,0x24,0x19,0xc3,0x45,0xcc,0x44,0x48,0x32,0xeb,0x17,0xb0,0x18,0xdd,0xfd,0xc6,0x35,0x74,0x51,0xc4,0x39,0x97,0x45,0x33};
    mont256_from_bytes(&ctx, augend, augend79);
    mont256_from_bytes(&ctx, addend, addend79);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum79, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend80[32] = {0xf7,0xe1,0x47,0xfd,0x79,0x28,0x1c,0x19,0xcd,0xe3,0x47,0xab,0xe5,0x4c,0x5d,0xe6,0xc3,0x81,0x3c,0xe6,0xb5,0xa2,0x90,0x61,0x6c,0xd9,0xe6,0x2a,0x08,0x41,0x1c,0x07};
    std::uint8_t addend80[32] = {0xed,0x9b,0xf0,0xb6,0xed,0x44,0x8d,0x4e,0xee,0x24,0x1c,0x43,0x64,0x3a,0xb9,0xe2,0x12,0xb9,0x2a,0x01,0x00,0x0b,0xb5,0xf9,0x7d,0x65,0x21,0x35,0x96,0x51,0x32,0xd6};
    std::uint8_t sum80[32]    = {0xe5,0x7d,0x38,0xb5,0x66,0x6c,0xa9,0x68,0xbc,0x07,0x63,0xef,0x49,0x87,0x17,0xc8,0xd6,0x3a,0x66,0xe8,0xb5,0xae,0x46,0x59,0xea,0x3f,0x07,0x5f,0x9e,0x92,0x4e,0xde};
    mont256_from_bytes(&ctx, augend, augend80);
    mont256_from_bytes(&ctx, addend, addend80);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum80, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend81[32] = {0xc8,0x79,0xb6,0x63,0x3f,0x9b,0x6b,0xb2,0x72,0xee,0x6a,0x2e,0xf8,0xe4,0xcb,0x5c,0x77,0xd8,0xc5,0x69,0xda,0xff,0x9a,0x0b,0x87,0x21,0xec,0xf8,0xd3,0x59,0xd0,0x7a};
    std::uint8_t addend81[32] = {0x1b,0xe0,0x3d,0xf0,0xae,0x9c,0x78,0xbd,0xf8,0xcd,0x9e,0xc3,0x85,0xb9,0xc0,0x9a,0x26,0xed,0xf1,0xbd,0x27,0x85,0x57,0x98,0x39,0x4a,0xfb,0xe9,0x1b,0xea,0x70,0x5e};
    std::uint8_t sum81[32]    = {0xe4,0x59,0xf4,0x53,0xee,0x37,0xe4,0x70,0x6b,0xbc,0x08,0xf2,0x7e,0x9e,0x8b,0xf6,0x9e,0xc6,0xb7,0x27,0x02,0x84,0xf1,0xa3,0xc0,0x6c,0xe8,0xe1,0xef,0x44,0x40,0xd8};
    mont256_from_bytes(&ctx, augend, augend81);
    mont256_from_bytes(&ctx, addend, addend81);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum81, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend82[32] = {0xe5,0x17,0x4e,0xbd,0xc3,0xc9,0xf7,0xe3,0xd8,0xb4,0xc8,0x31,0xa5,0xb8,0x9b,0x2f,0xb3,0x74,0xfa,0xb6,0xb8,0xc3,0xa4,0xd2,0xd3,0x4d,0x1c,0x0d,0xf1,0x05,0x86,0x67};
    std::uint8_t addend82[32] = {0x20,0x2a,0xb6,0xfa,0xc8,0x44,0xb8,0xfd,0x00,0x59,0x86,0x5a,0x0a,0x1f,0xb4,0x3b,0xc6,0xe0,0x67,0x3a,0x8d,0x2f,0x29,0xe7,0x15,0xc2,0xc8,0x1a,0x75,0x13,0x41,0x07};
    std::uint8_t sum82[32]    = {0x05,0x42,0x05,0xb9,0x8c,0x0e,0xb0,0xe0,0xd9,0x0e,0x4e,0x8b,0xaf,0xd8,0x4f,0x6b,0x7a,0x55,0x61,0xf2,0x45,0xf2,0xce,0xb8,0xe9,0x0f,0xe4,0x28,0x66,0x18,0xc7,0x6f};
    mont256_from_bytes(&ctx, augend, augend82);
    mont256_from_bytes(&ctx, addend, addend82);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum82, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend83[32] = {0xf6,0x62,0x22,0x2e,0x4d,0xc4,0xac,0x8c,0xb7,0x0b,0xa8,0x58,0xa5,0x3f,0xdd,0xc9,0x09,0x9f,0x9c,0x9f,0xeb,0x7f,0xe2,0x6b,0x91,0xc3,0x09,0x8c,0x3b,0x8a,0x27,0xba};
    std::uint8_t addend83[32] = {0xc3,0x8b,0x48,0xa2,0xb2,0xd6,0x43,0xa2,0x6f,0xfb,0x72,0x6a,0xa2,0xe3,0xf9,0x3a,0x87,0x3b,0x99,0x03,0x40,0x75,0x91,0x6e,0xa0,0x60,0x84,0x6c,0x20,0xc2,0x6f,0x71};
    std::uint8_t sum83[32]    = {0xb9,0xed,0x6a,0xd2,0x00,0x9a,0xf0,0x2f,0x27,0x07,0x1a,0xc3,0x48,0x23,0xd7,0x03,0x90,0xdb,0x35,0xa4,0x2b,0xf5,0x73,0xd9,0x32,0x23,0x8d,0xf8,0x5c,0x4c,0x97,0x2c};
    mont256_from_bytes(&ctx, augend, augend83);
    mont256_from_bytes(&ctx, addend, addend83);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum83, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend84[32] = {0x31,0x13,0x5d,0xe9,0x95,0x38,0x57,0xd7,0xf1,0x8b,0xde,0x0e,0x86,0x41,0x7b,0x60,0x4c,0xe3,0xb0,0xcc,0x12,0x02,0x95,0x2f,0x19,0x75,0x36,0xb1,0x1c,0xb4,0xba,0x55};
    std::uint8_t addend84[32] = {0x89,0x98,0x0c,0x50,0x02,0xad,0x9d,0x2b,0x00,0x4b,0x7f,0xd0,0x99,0xdf,0x20,0x9b,0xca,0x5d,0x5e,0x7d,0x39,0x3c,0xbc,0xdd,0x42,0xc9,0x27,0xb9,0x63,0x59,0x56,0xbe};
    std::uint8_t sum84[32]    = {0xba,0xab,0x6a,0x39,0x97,0xe5,0xf5,0x02,0xf1,0xd7,0x5d,0xdf,0x20,0x20,0x9b,0xfc,0x17,0x41,0x0f,0x49,0x4b,0x3f,0x52,0x0c,0x5c,0x3e,0x5e,0x6a,0x80,0x0e,0x11,0x13};
    mont256_from_bytes(&ctx, augend, augend84);
    mont256_from_bytes(&ctx, addend, addend84);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum84, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend85[32] = {0xd6,0xe3,0xa7,0x1e,0xa5,0x02,0xe8,0xa8,0x50,0xfc,0xc6,0x26,0xf5,0x7d,0x17,0x09,0x47,0x52,0x91,0x94,0x75,0xef,0xd2,0x33,0xff,0x12,0x5e,0xb4,0x4d,0x30,0x7f,0xe4};
    std::uint8_t addend85[32] = {0x07,0x7e,0xf3,0x2a,0x3f,0x3f,0x37,0xea,0x8c,0x08,0x56,0xa4,0x3c,0x19,0xc3,0x15,0x86,0xba,0x22,0xdd,0x79,0xad,0x89,0x99,0x3e,0x0b,0x25,0xcd,0xe2,0x3f,0x03,0xcc};
    std::uint8_t sum85[32]    = {0xde,0x62,0x9a,0x48,0xe4,0x42,0x20,0x92,0xdd,0x05,0x1c,0xcb,0x31,0x96,0xda,0x1e,0xce,0x0c,0xb4,0x71,0xef,0x9d,0x5b,0xcd,0x3d,0x1d,0x84,0x82,0x2f,0x6f,0x83,0xb0};
    mont256_from_bytes(&ctx, augend, augend85);
    mont256_from_bytes(&ctx, addend, addend85);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum85, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend86[32] = {0x31,0xb1,0x89,0x1a,0x05,0x93,0xdb,0xa2,0x0e,0x28,0xb6,0x4f,0x4e,0xb1,0x9f,0xca,0xa6,0x4f,0x76,0x13,0xb4,0x64,0x2e,0xa4,0x69,0x6c,0x63,0xd6,0xf5,0xea,0xd0,0x65};
    std::uint8_t addend86[32] = {0x3a,0x53,0xc1,0x76,0x41,0xdb,0x89,0x8e,0x14,0xc2,0x73,0x2a,0x6b,0x86,0x29,0x0b,0xa5,0xac,0xd3,0x41,0xac,0xa9,0x9f,0xd0,0xe2,0x85,0x6e,0xc6,0x7f,0x91,0x42,0x86};
    std::uint8_t sum86[32]    = {0x6c,0x05,0x4a,0x90,0x47,0x6f,0x65,0x30,0x22,0xeb,0x29,0x79,0xba,0x37,0xc8,0xd6,0x4b,0xfc,0x49,0x55,0x61,0x0d,0xce,0x75,0x4b,0xf1,0xd2,0x9d,0x75,0x7c,0x12,0xeb};
    mont256_from_bytes(&ctx, augend, augend86);
    mont256_from_bytes(&ctx, addend, addend86);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum86, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend87[32] = {0xb2,0x21,0x71,0x39,0x08,0xba,0x9b,0xd9,0x7e,0x31,0x8a,0xd6,0x3a,0x0e,0xa6,0xe1,0x5e,0xc6,0x9b,0xe3,0xec,0xd7,0x57,0x0b,0x6c,0xa0,0x64,0x96,0xaa,0xd7,0xc7,0xc0};
    std::uint8_t addend87[32] = {0x01,0xba,0x98,0x5a,0x32,0xb5,0x58,0xfd,0x65,0x77,0xbb,0x54,0xae,0xbc,0xb0,0xaa,0x5c,0xc0,0xff,0x06,0x6b,0xa9,0x9d,0x01,0xb7,0xe4,0x9f,0x36,0x56,0x8a,0x8c,0x29};
    std::uint8_t sum87[32]    = {0xb3,0xdc,0x09,0x93,0x3b,0x6f,0xf4,0xd6,0xe3,0xa9,0x46,0x2a,0xe8,0xcb,0x57,0x8b,0xbb,0x87,0x9a,0xea,0x58,0x80,0xf4,0x0d,0x24,0x85,0x03,0xcd,0x01,0x62,0x53,0xe9};
    mont256_from_bytes(&ctx, augend, augend87);
    mont256_from_bytes(&ctx, addend, addend87);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum87, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend88[32] = {0x7e,0xe5,0xe8,0x57,0x34,0x89,0x34,0x98,0x11,0x43,0x40,0xff,0x81,0x3f,0xb5,0xcd,0xd8,0x5b,0xbb,0x6b,0xbd,0x37,0x92,0x9d,0x4a,0xc7,0xcc,0xc3,0xcc,0x0c,0x66,0x82};
    std::uint8_t addend88[32] = {0x77,0x11,0xb7,0x57,0x3b,0x16,0x49,0x43,0x31,0xa5,0x9c,0x4a,0xd1,0xeb,0xd0,0x86,0xc4,0x0f,0x36,0x09,0x4f,0xcc,0x9a,0x5c,0x33,0x4e,0x51,0xaf,0xf8,0x48,0xa9,0x56};
    std::uint8_t sum88[32]    = {0xf5,0xf7,0x9f,0xae,0x6f,0x9f,0x7d,0xdb,0x42,0xe8,0xdd,0x4a,0x53,0x2b,0x86,0x54,0x9c,0x6a,0xf1,0x75,0x0d,0x04,0x2c,0xf9,0x7e,0x16,0x1e,0x73,0xc4,0x55,0x0f,0xd8};
    mont256_from_bytes(&ctx, augend, augend88);
    mont256_from_bytes(&ctx, addend, addend88);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum88, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend89[32] = {0x9f,0xa4,0x0d,0xd6,0xf3,0xb1,0x7a,0xf0,0x1b,0xe7,0xf3,0xcf,0x4b,0x80,0xb8,0x28,0xe3,0xab,0x62,0x83,0xc2,0xae,0x35,0xd2,0x43,0xd8,0x7a,0x97,0x38,0xb0,0x79,0xe1};
    std::uint8_t addend89[32] = {0xe9,0x0f,0xb6,0x51,0x6a,0xc2,0x6a,0xe0,0x7c,0x2c,0x6a,0x87,0x39,0x2b,0xc5,0x52,0xe5,0x7f,0x76,0x91,0x2f,0xf3,0xc2,0x3c,0x9c,0x2f,0x67,0x23,0x7e,0xea,0x6f,0xe1};
    std::uint8_t sum89[32]    = {0x88,0xb3,0xc4,0x29,0x5e,0x73,0xe5,0xd0,0x98,0x14,0x5e,0x56,0x84,0xac,0x7d,0x7b,0xc9,0x2a,0xd9,0x15,0xf2,0xa1,0xf8,0x0d,0xe0,0x07,0xe1,0xba,0xb7,0x9a,0xe9,0xc3};
    mont256_from_bytes(&ctx, augend, augend89);
    mont256_from_bytes(&ctx, addend, addend89);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum89, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend90[32] = {0x0d,0xea,0x6e,0x4e,0x64,0xb9,0xcb,0x1c,0xec,0x03,0x2e,0x6b,0x25,0x79,0x5c,0x18,0x98,0x44,0xf4,0x76,0xf2,0xe2,0x05,0x4d,0x0e,0x71,0x59,0x7a,0xaa,0x50,0xb9,0x6f};
    std::uint8_t addend90[32] = {0xb5,0xb9,0x4a,0xf3,0x0d,0x45,0x6b,0xe0,0x6a,0x56,0xaa,0xc3,0x24,0x54,0x48,0xc8,0x98,0x9b,0xc9,0xdc,0xf9,0x5f,0xe8,0xa0,0x06,0x0c,0x88,0x04,0x36,0x83,0xd4,0xbc};
    std::uint8_t sum90[32]    = {0xc3,0xa3,0xb9,0x41,0x71,0xff,0x36,0xfd,0x56,0x59,0xd9,0x2e,0x49,0xcd,0xa4,0xe1,0x30,0xe0,0xbe,0x53,0xec,0x41,0xed,0xed,0x14,0x7d,0xe1,0x7e,0xe0,0xd4,0x8e,0x2b};
    mont256_from_bytes(&ctx, augend, augend90);
    mont256_from_bytes(&ctx, addend, addend90);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum90, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend91[32] = {0x50,0x6f,0x68,0xac,0xe2,0x32,0x89,0x94,0xb6,0x47,0xe8,0xa8,0xe5,0xee,0x4c,0x91,0x73,0x1b,0xbc,0x41,0x64,0xb0,0xbb,0x14,0x2f,0x21,0x7e,0x72,0x0f,0x65,0x06,0x38};
    std::uint8_t addend91[32] = {0x30,0xd0,0xa2,0xb8,0x54,0x49,0x40,0xe1,0x2a,0x66,0xf9,0x13,0xee,0x7d,0x0a,0xe2,0x14,0x51,0x03,0xc7,0xff,0x5e,0x1d,0x1f,0x1c,0xfb,0x0a,0x06,0xbb,0x93,0xc8,0xeb};
    std::uint8_t sum91[32]    = {0x81,0x40,0x0b,0x65,0x36,0x7b,0xca,0x75,0xe0,0xae,0xe1,0xbc,0xd4,0x6b,0x57,0x73,0x87,0x6c,0xc0,0x09,0x64,0x0e,0xd8,0x33,0x4c,0x1c,0x88,0x78,0xca,0xf8,0xcf,0x23};
    mont256_from_bytes(&ctx, augend, augend91);
    mont256_from_bytes(&ctx, addend, addend91);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum91, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend92[32] = {0x4f,0xd3,0xe7,0x58,0x08,0x2a,0x2f,0x4d,0x77,0xb5,0xab,0xcb,0xbf,0x0e,0x11,0xe0,0x86,0x59,0x22,0x43,0xef,0x95,0xee,0xe8,0xa7,0x08,0x28,0xa7,0x2f,0x7d,0xba,0x08};
    std::uint8_t addend92[32] = {0x71,0x43,0x6e,0x1d,0x54,0xea,0x20,0x61,0xfc,0x27,0xd6,0x83,0x5f,0xb6,0xd6,0x25,0xd6,0xd1,0x06,0xfb,0x60,0xed,0x33,0xa0,0xb9,0xb2,0x53,0xe3,0xaa,0x18,0x13,0x45};
    std::uint8_t sum92[32]    = {0xc1,0x17,0x55,0x75,0x5d,0x14,0x4f,0xaf,0x73,0xdd,0x82,0x4f,0x1e,0xc4,0xe8,0x06,0x5d,0x2a,0x29,0x3f,0x50,0x83,0x22,0x89,0x60,0xba,0x7c,0x8a,0xd9,0x95,0xcd,0x4d};
    mont256_from_bytes(&ctx, augend, augend92);
    mont256_from_bytes(&ctx, addend, addend92);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum92, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend93[32] = {0x6b,0x91,0x1f,0x97,0x59,0xf9,0xbb,0x79,0x14,0xac,0xe1,0xcb,0x47,0xa1,0x64,0xe4,0x14,0x07,0xab,0x33,0x00,0xbc,0x22,0xcb,0x1b,0xe4,0xa5,0xdb,0x2b,0x54,0xaf,0x77};
    std::uint8_t addend93[32] = {0x61,0x50,0x2d,0xee,0x35,0x18,0x53,0x76,0xc2,0x41,0x0a,0xd1,0xf6,0xda,0x7a,0x63,0x8f,0xa6,0x24,0xf7,0x1f,0xab,0x58,0x84,0xe2,0x9a,0xac,0xea,0xf4,0x9c,0x9e,0xba};
    std::uint8_t sum93[32]    = {0xcc,0xe1,0x4d,0x85,0x8f,0x12,0x0e,0xef,0xd6,0xed,0xec,0x9d,0x3e,0x7b,0xdf,0x47,0xa3,0xad,0xd0,0x2a,0x20,0x67,0x7b,0x4f,0xfe,0x7f,0x52,0xc6,0x1f,0xf1,0x4e,0x31};
    mont256_from_bytes(&ctx, augend, augend93);
    mont256_from_bytes(&ctx, addend, addend93);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum93, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend94[32] = {0x16,0x77,0x74,0xef,0x6e,0xb4,0xff,0xf8,0xcd,0xce,0xc4,0x08,0xd2,0x6f,0x1d,0x76,0x4f,0x06,0xe9,0x5a,0xd2,0x52,0xa6,0x17,0xc4,0xcb,0xa0,0x38,0x5b,0x4c,0x0d,0x73};
    std::uint8_t addend94[32] = {0x72,0x43,0xd4,0x7c,0xeb,0x64,0xc5,0xc4,0x8a,0xa1,0xa5,0x9c,0x5f,0x6a,0x35,0xd9,0x32,0x1a,0x6e,0xc1,0x79,0x34,0xf0,0xb8,0xb4,0x8b,0xb0,0x75,0x0c,0x9c,0x20,0xef};
    std::uint8_t sum94[32]    = {0x88,0xbb,0x49,0x6c,0x5a,0x19,0xc5,0xbd,0x58,0x70,0x69,0xa5,0x31,0xd9,0x53,0x4f,0x81,0x21,0x58,0x1c,0x4b,0x87,0x96,0xd0,0x79,0x57,0x50,0xad,0x67,0xe8,0x2e,0x62};
    mont256_from_bytes(&ctx, augend, augend94);
    mont256_from_bytes(&ctx, addend, addend94);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum94, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend95[32] = {0xa1,0xb4,0x9b,0xf7,0x07,0xc0,0x90,0x9c,0x79,0x7b,0x15,0x38,0xe5,0xa1,0x5b,0x79,0xbc,0xc0,0xfd,0x98,0x5d,0x3f,0x69,0xce,0x52,0xc4,0x64,0x1b,0x31,0x6a,0x2a,0x12};
    std::uint8_t addend95[32] = {0x60,0x25,0x33,0xdc,0x0a,0x68,0x01,0x3d,0x67,0x9f,0x2d,0x9e,0xc4,0x44,0x5a,0xae,0xa0,0x1a,0xc2,0x3a,0xcf,0xd3,0xbb,0x74,0x3f,0x7d,0xc8,0x6b,0x69,0x2a,0x4f,0x0e};
    std::uint8_t sum95[32]    = {0x01,0xd9,0xcf,0xd4,0x12,0x28,0x91,0xd9,0xe1,0x1a,0x42,0xd7,0xa9,0xe5,0xb6,0x28,0x5c,0xdb,0xbf,0xd4,0x2d,0x13,0x25,0x41,0x92,0x42,0x2c,0x86,0x9a,0x94,0x79,0x21};
    mont256_from_bytes(&ctx, augend, augend95);
    mont256_from_bytes(&ctx, addend, addend95);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum95, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend96[32] = {0x31,0xe7,0xae,0xd1,0x41,0xcb,0xcc,0x3a,0x0f,0xdf,0x7c,0xc6,0xeb,0x8a,0x25,0xfc,0xcd,0xa7,0x90,0x77,0x10,0x05,0x3d,0x2c,0x76,0xcc,0x05,0x73,0x08,0xec,0x37,0x9a};
    std::uint8_t addend96[32] = {0x55,0xc0,0xa7,0x4d,0x45,0xb6,0x69,0xf7,0x5c,0xeb,0xe2,0x13,0x56,0xcd,0x42,0xd2,0x9b,0x09,0xab,0x55,0xe6,0x07,0x7d,0x79,0x10,0x17,0x0d,0x2b,0xbf,0x4e,0x30,0x2c};
    std::uint8_t sum96[32]    = {0x87,0xa8,0x56,0x1e,0x87,0x82,0x36,0x31,0x6c,0xcb,0x5e,0xda,0x42,0x57,0x68,0xcf,0x68,0xb1,0x3b,0xcc,0xf6,0x0c,0xba,0xa5,0x86,0xe3,0x12,0x9e,0xc8,0x3a,0x67,0xc6};
    mont256_from_bytes(&ctx, augend, augend96);
    mont256_from_bytes(&ctx, addend, addend96);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum96, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend97[32] = {0xb0,0x88,0x24,0x11,0xb7,0x75,0x70,0xa4,0xbf,0x16,0x8d,0xa7,0x43,0x1d,0xbc,0x3f,0x0b,0x28,0x6c,0x70,0x9d,0xf2,0x4d,0x5e,0xf4,0x29,0xc6,0x22,0xf5,0x2b,0x25,0x49};
    std::uint8_t addend97[32] = {0x98,0x77,0x27,0x90,0xc1,0x72,0x6f,0x06,0xb8,0xb8,0xf2,0x70,0x00,0xf7,0x2d,0x3c,0x4c,0x22,0xca,0xb7,0x46,0x8f,0xb5,0x96,0xec,0x9a,0x36,0x0c,0x51,0x05,0x12,0x2a};
    std::uint8_t sum97[32]    = {0x48,0xff,0x4b,0xa3,0x78,0xe7,0xdf,0xab,0x77,0xcf,0x80,0x17,0x44,0x14,0xe9,0x7b,0x57,0x4b,0x37,0x28,0xe4,0x82,0x02,0xf4,0xe0,0xc3,0xfc,0x2f,0x46,0x30,0x37,0x74};
    mont256_from_bytes(&ctx, augend, augend97);
    mont256_from_bytes(&ctx, addend, addend97);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum97, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend98[32] = {0xd3,0x75,0xef,0xf1,0x06,0x35,0xaf,0xef,0x10,0xb9,0x9a,0xc9,0xf1,0x78,0xd7,0x7f,0xf2,0x4d,0x04,0xfd,0xa2,0x4c,0x84,0x07,0xce,0x3f,0xa0,0x28,0xea,0x9d,0x18,0xb2};
    std::uint8_t addend98[32] = {0xc6,0xbf,0x4f,0xa2,0xf4,0x33,0x7b,0xd1,0x77,0x3a,0xfe,0x02,0xf4,0xef,0x61,0x42,0xb7,0x2f,0xac,0x4a,0x79,0xa5,0xfd,0x62,0x1b,0x75,0x7b,0x20,0x3b,0xde,0xa8,0xc3};
    std::uint8_t sum98[32]    = {0x9a,0x35,0x3f,0x94,0xfa,0x69,0x2b,0xc0,0x87,0xf4,0x98,0xcc,0xe6,0x68,0x38,0xc2,0xa9,0x7c,0xb1,0x49,0x1b,0xf2,0x81,0x68,0xe9,0xb5,0x1b,0x49,0x26,0x7b,0xc1,0x76};
    mont256_from_bytes(&ctx, augend, augend98);
    mont256_from_bytes(&ctx, addend, addend98);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum98, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
    std::uint8_t augend99[32] = {0x21,0xf9,0x1a,0x99,0x7e,0x54,0x4d,0x56,0xd0,0x96,0xbf,0xd6,0x6e,0x10,0x6c,0x0e,0xe9,0xde,0x04,0x79,0x40,0x44,0x9a,0xa0,0xca,0x30,0x42,0x18,0x62,0xf2,0xa2,0x1b};
    std::uint8_t addend99[32] = {0x4d,0xa6,0x09,0x90,0xbd,0x0d,0x8c,0xfe,0xee,0x59,0xb3,0x97,0xcd,0x75,0x1e,0x08,0x02,0x3a,0x80,0xa2,0x2e,0xd5,0x1b,0x12,0x7f,0x1d,0x49,0x0e,0xed,0x97,0xec,0x76};
    std::uint8_t sum99[32]    = {0x6f,0x9f,0x24,0x2a,0x3b,0x61,0xda,0x55,0xbe,0xf0,0x73,0x6e,0x3b,0x85,0x8a,0x16,0xec,0x18,0x85,0x1b,0x6f,0x19,0xb5,0xb3,0x49,0x4d,0x8b,0x27,0x50,0x8a,0x8e,0x91};
    mont256_from_bytes(&ctx, augend, augend99);
    mont256_from_bytes(&ctx, addend, addend99);
    mont256_add(&ctx, sum, augend, addend);
    mont256_to_bytes(&ctx, sum_data, sum);
    if (std::memcmp(sum99, sum_data, 32) != 0)
    {
        throw std::runtime_error("err in mont256_add");
    }
}
